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

PolyBoRi 0.7.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

O PolyBoRi é implementado como uma biblioteca C++ para Polinomials sobre Anéis Boolean, que fornece tipos de dados de alto nível para polinômios booleanos. Uma interface python produz algoritmos extensíveis para computação de bases groebner sobre Anéis Boolean.

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. Grátis

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

  • A Helpful Terminal Emulator Grátis

    ''ah-tty'' é um ajudante automático para pedidos de comando e conchas. Para os utilizadores de conchas principiantes, este fornece feedback e conselhos sobre o comando que estão a tentar usar ou querem usar.

  • Virtual Body Grátis

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

  • Universal Maths Conversion Library Grátis

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

  • Bhagavad Gita(YaBG) Grátis

    YaBG - Mais uma aplicação "Bhagavad Gita" Esta aplicação permite-lhe ler toda a bhagavad gita sem interrupções; sem anúncios, sem pop-ups dolorosos; completamente livre e nada intrusivo. Criei esta aplicação para qu

  • PHiMX Grátis

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

  • Spanish Tester Lite Julgamento Gratuito

    O Espanhol Tester Pro testa-o em conjugações de verbos espanhóis e acordo entre partes da fala, gerando perguntas simuladas de quiz.Perguntas de escolha múltipla e preenchimento em branco testam os seus conhecimentos nos

  • Mechanicus Grátis

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

  • Analysis & Reconstruction Sound Grátis

    O Motor de Som de Análise e Reconstrução analisa um ficheiro de som num espectrograma e é capaz de sintetizar este espectrograma, ou qualquer outra imagem criada pelo utilizador, de volta a um som.

  • Analyzer Component Framework Grátis

    ACF é um quadro paraescrever modelos-damas. A ACF baseia-se na observação fundamental de que a estrutura da maioriaalgoritmos de verificação de modelos é independente do formalismo usado para descrevero sistema.