问题标签 [symbolic-math]

我有两个具有可变边界的序列，例如

n和m是任意自然数，显然m>n。
我想从中减去a，b看看如何Maple将表达式简化为

是否可以在 Maple 或其他 CAS 中使用？

假设我进行了仅涉及加法和乘法的计算：

这可以通过许多其他方式完成，例如。

在加法和乘法方面，所示三个示例中的每一个所需的操作数分别为 (2,1) (3,2) (3,4)。显然，如果目标是减少操作总数，则第一个是优越的。有没有办法，给定一个任意表达式来找到需要最少操作次数的计算顺序？

注意： 这个问题是从 SE.math 重新询问的，以了解 CS 人群的洞察力和观点。

R中是否有（matlab）symsum等价物？

谢谢！

我有一些功能是这样设置的：

并评估它们：

但是对于 g(1)，我得到的是符号答案而不是数字答案。使用 float() 试图获得一个数字答案，但它只是将积分中的所有项转换为浮点数。

我怎样才能得到 g(1) 作为一个数字？

我是 Matlab 的新手。如何使用符号工具箱计算矩阵的逆？在我的矩阵中有一个拉普拉斯变量“s”。

我想知道计算机代数系统中的符号计算（例如Matlab，Mathematica中的符号工具箱）是否与函数式编程相关以及如何？前者属于后者吗？

谢谢并恭祝安康！

我想知道符号计算的相反概念是什么？换句话说，符号计算属于什么，在同一个分类中，除了符号计算，它还有哪些子类？

谢谢并恭祝安康！

这将略微链接到我之前的两个问题 链接 1、链接 2。我正在研究一些符号评估器，这将成为我的电路仿真项目的一部分。正如之前有人提到的，我将注意力转向了 lambda 函数和自动函数生成。

任务很简单。让我们用一些键和值来定义哈希表。

这是主要的推导函数。推导是通过带有一些递归的 lambda 函数生成过程来执行的。它只是一个样本，因此它可以执行变量、数字和两个输入的乘积的推导。

一些有用的条件定义

因为有些变量可以脱离派生循环，所以我定义了特殊的评估函数。

向数据库引入一些变量

测试方程 d(v1*v2)/dv1

我是否以正确的方式做这件事？这可以更清楚地完成LISP。

我的问题：符号表达式操作。

在 +、-、*、/、min、max 等运算符的帮助下，从整数常量和变量开始构建符号表达式。更确切地说，我会用以下方式表示一个表达式（Caml 代码）：

我想，为了执行有用且高效的计算（例如 a + b - a = 0 或 a + 1 > a），我需要有某种范式并对其进行操作。上述表示可能不太好。

有人可以指出我应该如何处理这个问题吗？我不需要代码。如果我知道怎么写，那可以很容易地写出来。提供范式表示和/或构造/简化/比较算法的论文的链接也会有所帮助。

另外，如果您知道这样做的 Ocaml 库，请告诉我。

我使用 matlab 进行符号计算。经过长时间的计算，我得到了 x 的函数，它是贝塞尔函数的组合，我想找到它的零点。

为此，我fzero在 Matlab 中使用函数。但是，虽然它非常适用于单贝塞尔函数，但它不适用于地雷函数。

为什么会发生这种情况？如何解决问题？

提前致谢