符号计算中的数值推导。应用于标准化变换。
摘要：基于解析表达式的数值（精确算术）推理算法，由Shevchenko和Vasiliev（1993）提出和描述，这些算法被开发并实现在一个计算机代数代码中。该代码是在Shevchenko和Sokolsky（1993a）的计算机代数软件包的基础上构建的，用于标准化常微分方程的Hamilton系统，以解决标准化的高复杂性问题。通过数值推理技术，以描述具有动态对称性的卫星的双曲球体进动的Hamilton量形式为例，推导出了共振正规形式。该技术在计算机内存消耗方面提供了显著的节省，特定应用中约为30倍。它可以自然地并行化。因此，内存消耗的节省可以转化为计算速度的提高。
作者：Ivan I. Shevchenko
论文ID：1607.02016
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-07-08