Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. PolyBoRi

PolyBoRi 0.7.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes
Télécharger

PolyBoRi est implémenté en tant que bibliothèque C++ pour polynomiaux sur les anneaux booléens, qui fournit des types de données de haut niveau pour les polynomiaux booléens. Une interface python donne des algorithmes extensibles pour calculer les bases Groebner sur boolean rings.

historique de la version

  • Version 0.7.0 posté sur 2011-02-25
    Plusieurs correctifs et mises à jour
  • Version 0.7.0 posté sur 2011-02-25

Détails du programme

Programmes connexes

  • RAVL, Recognition And Vision Library. Gratuit

    Bibliothèque générale C++, avec des modules pour la vision par ordinateur, la reconnaissance de motifs et bien plus encore.

  • A Helpful Terminal Emulator Gratuit

    ''ah-tty'' est une aide automatique pour les invites de commande et les obus. Pour les utilisateurs novices shell cela fournit des commentaires et des conseils sur la commande qu’ils essaient d’utiliser ou que vous souhaitez

  • Virtual Body Gratuit

    Le projet Virtual Body vise à être un simulateur de corps humain, utile pour les éducateurs, et à l’avenir, les médecins.

  • Universal Maths Conversion Library Gratuit

    La bibliothèque UMCL fournit une API unique aux développeurs d’applications nécessitant des conversions entre différents formats mathématiques et en particulier des notations spécifiques au braille.

  • Bhagavad Gita(YaBG) Gratuit

    YaBG - Encore un autre "Bhagavad Gita " app. Cette application vous permet de lire toute la gita bhagavad sans interruption; pas d’annonces, pas de pop-ups douloureux; complètement libre et rien d’intrusif. J’ai cré

  • PHiMX Gratuit

    PHiMX est un outil de ligne de commande pour générer le code XMI d’un projet dans PHP5. Il peut analyser de manière récursive plusieurs répertoires de scripts PHP, prend en charge différents formats XMI et permet d’intégrer v

  • Spanish Tester Lite Essai gratuit

    Testeur espagnol Pro vous teste sur les conjugaisons de verbe espagnol et l’accord entre les parties de la parole en générant des questions de quiz simulés.Des questions à choix multiples et à choix multiples testent vos

  • Mechanicus Gratuit

    Mechanicus est un simulateur de course entre les véhicules construits par les joueurs. Ce projet est effectivement abandonné.

  • Analysis & Reconstruction Sound Gratuit

    Le moteur sonore d’analyse et de reconstruction analyse un fichier sonore dans un spectrogramme et est capable de synthétiser ce spectrogramme, ou toute autre image créée par l’utilisateur, dans un son.

  • Analyzer Component Framework Gratuit

    ACF est un cadre pourl’écriture de modèles-checkers. ACF s’appuie sur l’observation fondamentale que la structure de la plupart desalgorithmes de vérification des modèles est indépendant du formalisme utilisé pour décri