格雷格·里德;克里斯·史密斯;维舍尔德,简 使用数字符号延拓的微分系统的几何完备。 (英语) Zbl 1054.65090号 SIGSAM牛市。 36,第2期,第1-17页(2002年). 引用于1审查引用于2文件 MSC公司: 65升80 微分代数方程的数值方法 34A09号 隐式常微分方程,微分代数方程 65H20个 全局方法,包括非线性方程数值解的同伦方法 68瓦30 符号计算和代数计算 关键词:微分代数方程;符号算法;多项式非线性微分方程组;同伦延拓方法;指数3摆 PDF格式BibTeX公司 XML格式引用 \textit{G.Reid}等人,SIGSAM Bull。36,第2号,1-17(2002;Zbl 1054.65090) 全文: DOI程序