关于Kahan确定分支切割规则的研究
摘要：从定义为微分方程的解的角度，计算机代数中存在不同的方法来处理数学函数的概念。我们比较了不同的方法，并讨论了出现的问题。主要关注的问题是确定可能的分支切割点。我们探讨了将分支切割点的处理程度（更）算法化的程度，通过将Kahan的规则调整为微分方程设置方法。
作者：Fr''ed''eric Chyzak (INRIA Rocquencourt), James Davenport, Christoph Koutschan (RISC), Bruno Salvy (INRIA Rocquencourt)
论文ID：1109.2809
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-06-19