Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Computer Science (miscellaneous)
Reference33 articles.
1. Ritt J, Differential Algebra, The American Mathematical Society, 1950.
2. Wu W T, On the decision problem and the mechanization of theorem-proving in elementary geometry, Science in China Ser. A, 1978, 29(2): 117–138.
3. Wu W T, Basic principles of mechanical theorem proving in elementary geometries, Journal of Automated Reasoning, 1986, 2(3): 221–252.
4. Wu W T, Mathematics Mechanization, Science Press/Kluwer, Beijing, 2001.
5. Aubry P, Lazard D, and Maza M M, On the theories of triangular sets, Journal of Symbolic Computation, 1999, 28(1–2): 105–124.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献