BriefGPT.xyz
Ask
alpha
关键词
symbolic integration
搜索结果 - 5
用于生成可积表达式的 Liouville 生成器
我们提出了一种名为 LIOUVILLE 方法的生成可积函数的方法，它基于 Liouville 的定理和 Parallel Risch 算法，用于在计算代数中创建全面的数据集，并且能够产生复杂且逼真的可积函数，可用于符号积分的基准测试或机器学
→
PDF
19 days ago
使用机器学习进行符号积分算法选择：LSTMs vs Tree LSTMs
计算机代数系统在研究、教育和工业领域中得到了广泛应用。本研究通过使用机器学习来引导子算法的选择，并通过训练 TreeLSTM 模型表明其在数学表达式表示方面的优势，能够产生比传统方法更好的输出结果，为进一步研究提供了坚实的基础。
PDF
2 months ago
生成初等可积表达式
该研究论文讨论了在机器学习领域中，将 Risch 算法用于符号积分的研究，以创建一个基本可积表达式数据集，并展示了这种方式生成的数据消除了早期方法存在的一些缺陷。
PDF
a year ago
符号数学的深度学习
本文展示神经网络在数学方面的应用，如符号积分和求解微分方程。提出了一套数学问题表示法和生成大规模数据集进行序列到序列模型训练的方法，并获得了超越 Matlab 或 Mathematica 等商业计算机代数系统的结果。
PDF
5 years ago
关于酉群上 Haar 测度的符号积分
本文介绍了 IntU 包，它可以在 Mathematica 计算代数系统中，对关于唯一归一化的 Haar 测度的单项式函数在酉群上进行符号积分。我们还提供了一些优化特例来加速积分计算，并给出了一些使用该软件包的例子。
PDF
13 years ago
Prev
Next