纯C语言中的符号计算库

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

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

他们似乎需要这样一个符号数学库。随着时间的推移，理想情况下，该库可以建立在一个类似的庄园中，在那里有一个项目的中央C实现，并且为了创建与其他语言的绑定而分离出各种实现？

请查看Axiom——一个通用计算机代数系统。也可以使用Giac——一个免费的（GPL）C++库，它是计算内核，它可以用于其他C++程序中。

您可以从开始并使用将其从Common Lisp转换为C

GCL是GNU项目的官方通用Lisp。它的设计利用系统的C编译器编译成本地目标代码

当然可以选择保留中间C源文件

GCL目前在11种GNU/Linux体系结构（x86 powerpc s390 sparc arm alpha ia64 hppa m68k mips mipsel）、Windows、sparc Solaris和FreeBSD上编译自己和主要的自由软件Lisp应用程序Maxima、ACL2和Axiom

是用C实现的，可能适合您的目的

数学的™ 是一种便携式、命令行、教育性CAS和计算器软件，完全用C编程语言编写。它是免费的开源软件（FOSS），根据GNU Lesser General Public许可证（LGPL版本2.1）发布，自1986年以来一直在不断开发。该软件可以象征性地求解、简化、组合和比较代数方程，同时根据需要执行广义标准、复数、模运算和多项式运算。它做一些微积分，非常容易编译/安装、学习和使用

从：

Mathomatic源代码也可以编译为符号数学库，可以从任何兼容C的程序调用，并且大部分与操作系统无关

你看了吗？从其网站：

GAP是一个计算离散代数系统，具有特殊的 强调计算群论。GAP提供了一个编程环境 语言，一个包含数千个实现代数运算的函数的库 用GAP语言编写的算法以及大型数据库 关于代数对象。另请参见系统的概述和说明 数学能力。GAP在研究和教学中用于 研究群及其表示，环，向量空间， 代数、组合结构等等。系统，包括 源代码，自由分发。您可以学习并轻松修改或 为您的特殊用途扩展它

---

根据its，GAP是用C实现的，源代码是免费提供的

我不知道有任何基于C的符号数学库。然而，C++中有许多它们，所以你总是可以在它们周围创建一个瘦的C层。这就是说，你能给我介绍一下概括符号计算算法的资源吗？“概括符号计算”嗯-抓住更大的资源，尝试提取数学规则并将它们放入你的数学表达式分析器。我投票支持你，这绝对是个好消息，但是我正在寻找一个纯C的实现，我不能接受你的答案。。。也就是说，你能给我指点一下推广符号计算算法的资源吗？是一个我在GAP网站上找到的计算机代数系统的列表。GAP甚至有一个基于MPI的并行实现（）构建。GAP的实现是惊人的！这正是我一直在寻找的，谢谢！！