Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Computer Science (miscellaneous)
Reference21 articles.
1. Ritt J F, Differential Algebra, American Mathematical Society, Colloquium Publications, Vol. 33, 1950.
2. Wu W T, Basic Principle of Mechanical Theorem Proving in Geometries, Science Press, Beijing, 1984. English translation, Springer, Wien, 1994.
3. Aubry P, Lazard D, and Maza M M, On the theories of triangular sets, J. Symb. Comput., 1999, 28: 105–124.
4. Szanto A, Computation with Polynomial Systems, Doctoral Dissertation, Cornell University, 1999.
5. Wang D, An elimination method for polynomial systems, J. Symb. Comput., 1993, 16: 83–114.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献