Author:
Gao X.S.,Van der Hoeven J.,Yuan C.M.,Zhang G.L.
Subject
Computational Mathematics,Algebra and Number Theory
Reference24 articles.
1. On the theory of triangular sets;Aubry;Journal of Symbolic Computation,1999
2. Representation for the radical of a finitely generated differential ideal;Boulier,1995
3. Unmixed-dimensional decomposition of a finitely generated perfect differential ideal;Bouziane;Journal of Symbolic Computation,2001
4. Ritt–Wu’s decomposition algorithm and geometry theorem proving;Chou,1990
5. Automated reasoning in differential geometry and mechanics: Part I. An improved version of Ritt–Wu’s decomposition algorithm;Chou;Journal of Automated Reasoning,1993
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献