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

PolyBoRi 0.7.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos
Descargar

PolyBoRi se implementa como una biblioteca de C++ para polinomios sobre anillos booleanos, que proporciona tipos de datos de alto nivel para polinomios booleanos. Una interfaz python produce algoritmos extensibles para calcular las bases Groebner sobre los anillos booleanos.

historial de versiones

  • Versión 0.7.0 publicado en 2011-02-25
    Varias correcciones y actualizaciones
  • Versión 0.7.0 publicado en 2011-02-25

Detalles del programa

Programas relacionados

  • RAVL, Recognition And Vision Library. Gratis

    Biblioteca general de C++, con módulos para Computer Vision, reconocimiento de patrones y mucho más.

  • A Helpful Terminal Emulator Gratis

    ''ah-tty'' es un ayudante automático para los comandos y shells. Para los usuarios principiantes del shell esto proporciona comentarios y consejos sobre el comando que están intentando usar o quieren usar.

  • Virtual Body Gratis

    El proyecto Cuerpo Virtual tiene como objetivo ser un simulador de cuerpo humano, útil para los educadores, y en el futuro, los médicos.

  • Universal Maths Conversion Library Gratis

    La biblioteca UMCL proporciona una única API a los desarrolladores de aplicaciones que requieren conversiones entre diferentes formatos de matemáticas y, especialmente, notaciones específicas de Braille.

  • Bhagavad Gita(YaBG) Gratis

    YaBG - Otra aplicación "Bhagavad Gita". Esta aplicación le permite leer a través de todo el bhagavad gita sin ninguna interrupción; sin anuncios, sin ventanas emergentes dolorosas; completamente libre y nada intrusi

  • PHiMX Gratis

    PHiMX es una herramienta de línea de comandos para generar código XMI de un proyecto en PHP5. Puede analizar recursivamente varios directorios de scripts PHP, soporta varios formatos XMI y permite integrar sus propios include

  • Spanish Tester Lite Prueba gratuita

    Spanish Tester Pro te pone a prueba sobre conjugaciones de verbos españoles y el acuerdo entre partes del habla mediante la generación de preguntas de cuestionario simuladas.Las preguntas de opción múltiple y rellenar en

  • Mechanicus Gratis

    Mechanicus es un simulador de carreras entre vehículos construidos por jugadores. Este proyecto es efectivamente abandonado.

  • Analysis & Reconstruction Sound Gratis

    El motor de sonido de análisis y reconstrucción analiza un archivo de sonido en un espectrograma y es capaz de sintetizar este espectrograma, o cualquier otra imagen creada por el usuario, de nuevo en un sonido.

  • Analyzer Component Framework Gratis

    ACF es un marco paraescribir verificadores de modelos. ACF se basa en la observación fundamental de que la estructura de la mayoría de losalgoritmos de verificación de modelos es independiente del formalismo utilizado p