问题标签 [symbolic-math]

有人知道有关计算机代数系统的一般理论（例如mathematica、sympy）的任何资源（书籍、课程、讲义或任何东西）吗？

“介绍性”材料是首选，但我意识到，对于这样一个专业的主题，任何事情都必然是相当先进的。

我有一些表达式，例如x^2+y^2我想用于一些数学计算的表达式。我想做的一件事是取表达式的偏导数。

因此，如果f(x,y) = x^2 + y^2then 的部分f相对于x将是2x，则相对于的部分y将是2y。

我使用有限差分法编写了一个极小的函数，但我遇到了很多浮点精度问题。例如，我最终得到1.99234而不是2. 有没有支持符号微分的库？还有其他建议吗？

我对数学和编程非常感兴趣，并计划从头开始符号数学项目。

1. 这是一个好的项目想法吗？

2. 从哪儿开始？

3. 应该如何处理这个项目？

4. 有什么好的资源吗？

提前致谢。

我正在尝试使用 Matlab 的符号工具箱求解未知数 x、y、z 中的三个联立非线性方程。以下代码有什么问题？

我收到以下错误：

我正在使用 Matlab 版本 7.7.0.471。我对符号工具箱一点也不熟悉。我错过了什么？

我是否对符号引擎期望过高？或者，有没有更好的方法来解决上述方程？（数值解就可以了。）

我正在寻找 .NET 框架的符号数学库。我看过 Math.net，但它还不是可用的东西。你知道是否有另一个图书馆存在？

我有二次方程 1/x = 1/(ax) + 1/(3*a -x)

我想在matlab中解决它：

有没有办法用浮点系数求解方程？喜欢

如何使用 MATLAB 的 Symbolic Toolkit 对 C 或 C++ 的导数进行符号计算？

SymPy是在 Python 中进行单位转换的好工具：

您可以轻松滚动自己的：

但是，我无法在我的应用程序中实现这一点，除非我可以将 C（绝对）度转换为 K 度到 F 度到 R 度，或者它们的任何组合。

我想也许这样的事情会起作用：

但显然，这是错误的下坡路。关于在 SymPy 中干净地实现“偏移”型单位转换的任何建议？

注意：我愿意尝试其他单位转换模块，但不知道除了Unum之外的任何模块，发现它很麻烦。

编辑：好的，现在很清楚我想要做的是首先确定要比较的两个量是否在同一个坐标系中。（如时间单位参考不同的时期或时区或dB到直线幅度），进行适当的转换，然后进行转换。有没有通用的坐标系管理工具？那太好了。

我会假设°F 和°C 在表达式中始终指代Δ°F Δ°C，但在单独站立时指的是绝对值。我只是想知道是否有一种方法可以创建units.degF一个函数并在其上添加一个装饰器property()来处理这两个条件。

但是现在，我将设置units.C == units.K并尝试在文档中非常清楚地使用函数convertCtoK(...)以及convertFtoR(...)在处理绝对单位时。（开个玩笑。不，我不会。）

编辑：Prolog 就是答案。

我尝试使用 Buchberger 算法（参见this或this）来计算理性领域中理想的 Groebner 基础。这是我的 GAP 脚本：

但结果总是这样：

显然，第四个可以完全除以最后一个基，第一和第二个可以完全除以第三个基。预期的结果应该是这样的：

所以我的问题是如何在 GAP 中获得简化的 Groebner 基础？