Haut Logiciel de mathématiques Pour Linux
Schifra est une correction d'erreur bibliothèque de code très robuste, hautement optimisé, et extrêmement configurable Reed-Solomon pour les logiciels et applications de base sur IP avec les implémentations en C ++ et VHDL.Le projet prend en charge la...
calculateur de ligne de commande «CLC» est la calculatrice qui permet de calculer directement à la console Linux.Extrayez le fichier CLCC dans / usr / bin vous pourriez avoir besoin pour vous connecter en tant que root ou un compte equvalent, pour pouvoir...
projet de machine de Turing visuel est un programme qui vous permet de créer des machines de Turing avec un point et cliquez sur l'interface au lieu d'utiliser des langues ésotériques.Vous pouvez emballer vos machines complexes dans de petites...
K3DSurf est un programme qui génère des surfaces 3D avec des formules mathématiques (Paramètre ou des équations explicites).Une version plus avancée est en cours de construction afin que tous vos commentaires sont les bienvenus. K3DSurf programme a été...
calcoo est une calculatrice scientifique RPN et algébrique.Voici quelques caractéristiques principales de...
L2P crée des images PNG d'expressions mathématiques formatés en LaTeX. Si l'on peut convertir un document LaTeX ensemble, il est conçu pour générer facilement des images à partir de seulement un fragment de code LaTeX.Télécharger L2P ici, ou lisez...
GNU polyxmass est la masse suite logicielle de spectrométrie de (bio) -polymers.GNU polyxmass dispose d'un cadre de la spectrométrie de masse intégrée où les utilisateurs sont en mesure de définir les chimies de polymères de marque nouvelle (dans le...
Dstar Lite est une implémentation de l'algorithme C D * Lite comme expliqué dans [Koenig, 2002].Il ya quelques modifications mineures à ce code pour améliorer le temps de calcul et le chemin de distance. Ceci est une très simple morceau de logiciel et...
ESC projet / Java2 Frontend analyse du code Java 1.4 source et Java 1.5 bytecode dans une arborescence syntaxe abstraite qui peut être utilisé pour la vérification statique prolongée.Le Checker statique prolongée pour la version Java 2 (ESC / Java2 de)...
Grapher est un projet de recherche qui attemts pour résoudre le problème de la représentation graphique des équations implicites (ie sous la forme f (x, y) = g (x, y)). Le principal objectif ici sera d'expérimenter avec différents algorithmes, mais...