Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference31 articles.
1. G. Carrà Ferro and G. Gallo, A procedure to prove geometrical statements, in:Proc. AAECC-5, Lecture Notes in Comp. Sci. 356(1987)141?150.
2. S.C. Chou,Mechanical Geometry Theorem Proving (Reidel, Dordrecht/Boston/Lancaster/Tokyo, 1988).
3. S.C. Chou and X.S. Gao, A class of geometry statements of constructive type and geometry theorem proving, Technical Report TR-89-37, Department of Computer Sciences, University of Texas at Austin, USA (1989).
4. S.C. Chou and X.S. Gao, Ritt-Wu's decomposition algorithm and geometry theorem proving, in:Proc. CADE-10, Lecture Notes in Comp. Sci. 449(1990)207?220.
5. S.C. Chou and J.G. Yang, On the algrebraic formulation of certain geometry statements and mechanical geometry theorem proving, Algorithmica 4(1989)237?262.
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献