摘要
首先基于形式理论,提出了计算对合微分方程双变元Hilbert多项式的算法.其次,通过考察微分表示,给出了计算微分方程一般解任意性的方法.最后结合张鸿庆提出的数学机械化中的"AC=BD"模式,给出了将超定方程组化为恰定方程的构造方法.
出处
《中国科学(A辑)》
CSCD
北大核心
2009年第12期1409-1420,共12页
Science in China(Series A)
基金
国家重点基础研究专项基金(批准号:2004CB318000)
大连理工大学"数学+X"交叉学科建设专项资助项目