Author:
Wu Wen-Tsun,Gao Xiao-Shan
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference34 articles.
1. Wu W T. On the decision problem and the mechanization of theorem-proving in elementary geometry. Scientia Sinica, 1978, (21): 159–172. Re-published in Automated Theorem Proving: After 25 Years, 1984, pp. 213–234.
2. Chou S C. Mechanical Geometry Theorem Proving. Dordrecht: D.Reidel Publishing Company, 1988.
3. Chou S C, Gao X S, Zhang J Z. Machine Proofs in Geometry. Singapore: World Scientific, 1994.
4. Li H, Wu Y. Automated theorem proving in projective geometry with Cayley and bracket algebras. Journal of Symbolic Computation, 2004, (36): 717–762.
5. Kapur D, Mundy J L. Geometric reasoning. Special Issue of Artificial Intelligence, 1988, (37): 1–3.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献