符号计算图书馆纯C [英] Symbolic Computation Library in pure C

问题描述

是否存在书面纯C一个符号计算库？符号计算作为符号形式操纵的数学公式。

Does there exist a symbolic computation library written pure C? Symbolic computation as in manipulating mathematical equations in symbolic form.

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

I know there is Mathematica, and Sympy. But, I am interested in creating in a high performance pure C implementation of a symbolic computation library to bind to a scripting language, specifically Ruby to start.

这似乎是他们的是需要一种符号数学库这样此。随着时间的推移，理想的库可以以类似的庄园内置到 libgit2 的地方有项目和各种实现的中央C实现创建绑定到其他语言的目的分支？

It would seem that their is a need for a symbolic mathematics library such this. Over time, ideally the library could be built out in a similar manor to libgit2 where there is a central C implementation of the project and various implementations branched off for the purpose of creating bindings to other languages?

推荐答案

你最近有没有看 GAP ？从它的网站：

Have you taken a look at GAP? From its website:

GAP是计算离散代数系统，特别
  强调计算群论。 GAP提供了一个编程
  语言，成千上万的实施代数函数的库
  写在GAP语言算法以及大的数据库
  的代数对象。另见概述和说明
  数学能力。 GAP在研究和教学使用
  研究组及其再presentations，戒指，向量空间，
  代数，组合结构，以及更多。的系统，包括
  源，免费分发。你可以学习，轻松地修改或
  扩展它为您的特殊用途。

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. See also the overview and the description of the mathematical capabilities. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely. You can study and easily modify or extend it for your special use.

据其维基百科页面，GAP是用C实现的，源$ C ​​$ c是免费提供的。

According to its Wikipedia page, GAP is implemented in C, and the source code is freely available.

这篇关于符号计算图书馆纯C的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！