Bibliothèque de calcul symbolique en C pur

Existe-t-il une bibliothèque de calcul symbolique écrite en C pur? Le calcul symbolique consiste à manipuler des équations mathématiques sous forme symbolique.

Je sais qu’il y a Mathematica et Sympy . Cependant, je suis intéressé par la création d’une implémentation en C pur hautement performante d’une bibliothèque de calcul symbolique afin de la lier à un langage de script, en particulier Ruby.

Il semblerait qu’ils aient besoin d’une bibliothèque de mathématiques symboliques comme celle-ci. Avec le temps, idéalement, la bibliothèque pourrait être construite de la même manière que libgit2, où une implémentation C centrale du projet et diverses implémentations ont été dérivées dans le but de créer des liaisons vers d’autres langages.

Avez-vous examiné GAP ? De son site web:

GAP est un système de calcul formel en algèbre discrète, qui met particulièrement l’accent sur la théorie des groupes de calcul. GAP fournit un langage de programmation, une bibliothèque de milliers de fonctions implémentant des algorithmes algébriques écrits en langage GAP, ainsi que de grandes bibliothèques de données d’objects algébriques. Voir aussi la vue d’ensemble et la description des capacités mathématiques. GAP est utilisé dans la recherche et l’enseignement pour étudier des groupes et leurs représentations, des anneaux, des espaces vectoriels, des algèbres, des structures combinatoires, etc. Le système, y compris la source, est dissortingbué librement. Vous pouvez étudier et facilement le modifier ou l’étendre pour votre usage spécial.

Selon sa page Wikipedia , GAP est implémenté en C et le code source est librement disponible.

Mathomatic est implémenté en C et peut convenir à vos besoins.

Mathomatic ™ est un logiciel éducatif et une calculasortingce CAS, portable, en ligne de commande, entièrement écrit en langage de programmation C. Il s’agit d’un logiciel libre et open source (FOSS), publié sous la licence GNU Lesser General Public (LGPL version 2.1), qui est en développement continu depuis 1986. Le logiciel peut résoudre, simplifier, combiner et comparer des équations algébriques simultanément exécution de calculs arithmétiques standard standard, de nombres complexes, modulaires et polynomiaux, selon les besoins. Il fait un peu de calcul et est très facile à comstackr / installer, apprendre et utiliser.

Du manuel du développeur :

Le code source Mathomatic peut également être compilé en tant que bibliothèque mathématique symbolique pouvant être appelée à partir de n’importe quel programme compatible C et qui est généralement indépendante du système d’exploitation.

S’il vous plaît regardez Axiom – un système d’algèbre informatique à usage général. Vous pouvez aussi utiliser Giac – Giac est une bibliothèque C ++ libre (GPL), c’est le kernel de calcul, elle peut être utilisée dans d’autres programmes C ++.

http://www.axiom-developer.org/

http://www-fourier.ujf-grenoble.fr/~parisse/giac.html

Vous pouvez commencer avec Maxima et utiliser GCL pour le traduire de Common Lisp en C.

GCL est le Common Lisp officiel du projet GNU. Sa conception utilise le compilateur C du système pour comstackr en code object natif

Il existe sûrement une option pour conserver les fichiers source C intermédiaires.

GCL comstack actuellement lui-même et les principales applications libres de logiciels Lisp, Maxima, ACL2 et Axiom, sur onze architectures GNU / Linux (x86 powerpc s390 sparc arm alpha ia64 hppa m68k mips mips), Windows, Sparc Solaris et FreeBSD.