纯C中的符号计算库

Question

是否存在编写纯C的符号计算库？符号计算在象征形式下操纵数学方程.

我知道有Mathematica和Sympy.但是,我有兴趣在一个符号计算库的高性能纯C实现中创建绑定到脚本语言,特别是Ruby启动.

似乎他们需要这样一个象征性的数学图书馆.随着时间的推移,理想情况下,库可以构建在类似于libgit2的庄园中,其中有一个项目的中央C实现,并且为了创建与其他语言的绑定而分支各种实现？

Answer 1

Mathomatic在C中实现,可能适合您的目的.

Mathomatic™是一种便携式命令行教育CAS和计算器软件,完全用C语言编写.它是免费的开源软件(FOSS),根据GNU宽通用公共许可证(LGPL版本2.1)发布,自1986年以来一直在不断发展.该软件可以同时象征性地解决,简化,组合和比较代数方程根据需要执行广义标准,复数,模数和多项式算术.它做了一些微积分,很容易编译/安装,学习和使用.

从开发人员手册:

Mathomatic源代码也可以编译为符号数学库,可以从任何C兼容程序调用,并且主要与操作系统无关.

Answer 2

你看过GAP了吗？从其网站:

GAP是计算离散代数的系统,特别强调计算组理论.GAP提供了一种编程语言,一个由数千个函数组成的库,实现了用GAP语言编写的代数算法以及代数对象的大型数据库.另请参见概述和数学功能的描述.GAP用于研究和教学研究群体及其表示,环,向量空间,代数,组合结构等.该系统包括源,可以自由分发.您可以学习并轻松修改或扩展它以供您特殊使用.

根据其维基百科页面,GAP是用C实现的,源代码是免费提供的.