PolyBoRi 0.7.0
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/polybori/files/polybori/0.7.0/polybori-0.7.tar.gz/download
Sur PolyBoRi
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.
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