Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. PolyBoRi

PolyBoRi 0.7.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

O PolyBoRi é implementado como uma biblioteca C++ para Polinômias sobre Anéis Booleanos, que fornece tipos de dados de alto nível para polinômias booleanas. Uma interface python produz algoritmos extensíveis para calcular bases Groebner sobre Boolean Rings.

história da versão

  • Versão 0.7.0 postado em 2011-02-25
    Várias correções e atualizações
  • Versão 0.7.0 postado em 2011-02-25

Detalhes do programa

Programas Relacionados

  • RAVL, Recognition And Vision Library. Livre

    Biblioteca Geral C++, com módulos para Visão computacional, Reconhecimento de Padrões e muito mais.

  • A Helpful Terminal Emulator Livre

    ''ah-tty'' é um ajudante automático para comandos e conchas. Para usuários iniciantes, isso fornece feedback e conselhos sobre o comando que eles estão tentando usar ou querem usar.

  • Virtual Body Livre

    O projeto Corpo Virtual tem como objetivo ser um simulador de corpo humano, útil para educadores e, no futuro, médicos.

  • Universal Maths Conversion Library Livre

    A biblioteca da UMCL fornece uma única API para desenvolvedores de aplicativos que necessitam de conversões entre diferentes formatos de Matemática e especialmente notações específicas de Braille.

  • Bhagavad Gita(YaBG) Livre

    YaBG - Mais um "Bhagavad Gita" app. Este app permite que você leia toda a gita bhagavad sem interrupções; sem anúncios, sem pop-ups dolorosos; completamente livre e nada intrusivo. Criei este aplicativo para que eu

  • PHiMX Livre

    PHiMX é uma ferramenta de linha de comando para gerar código XMI de um projeto em PHP5. Ele pode analisar recursivamente vários diretórios de scripts PHP, suporta vários formatos XMI e permite integrar seu próprio include_pat

  • Spanish Tester Lite Avaliação gratuita

    O Espanhol Tester Pro testa você em conjugações de verbos em espanhol e concordância entre partes da fala, gerando perguntas simuladas de quiz.Perguntas de múltipla escolha e preenchimento em branco testam seus conhecimen

  • Mechanicus Livre

    Mechanicus é um simulador de corrida entre veículos construídos por jogadores. Este projeto está efetivamente abandonado.

  • Analysis & Reconstruction Sound Livre

    O Mecanismo de Som de Análise e Reconstrução analisa um arquivo de som em um espectrograma e é capaz de sintetizar esse espectrograma, ou qualquer outra imagem criada pelo usuário, de volta em um som.

  • Analyzer Component Framework Livre

    ACF é uma estrutura paraescrever verificadores de modelos. ACF é construído sobre a observação fundamental de que a estrutura da maioriaalgoritmos de verificação de modelos é independente do formalismo usado para descre