关于代数常微分方程形式幂级数解的存在性和唯一性
摘要：给定一个代数常微分方程（AODE），我们提出了一种计算方法，用于确定截断的幂级数是否能扩展为形式幂级数解。如果给定AODE或初始值满足一定的正则性条件，我们可以计算出所有的解。此外，当存在性得到确认时，我们还会呈现出所有形式幂级数解的代数结构。
作者：Sebastian Falkensteiner, Yi Zhang, Thieu N. Vo
论文ID：1803.09646
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2021-07-05