Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Buchberger, B., et al.: Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic (2006)
2. Cabri site,
http://www.cabri.com
3. Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated production of traditional proofs for constructive geometry theorems. In: Eighth Annual IEEE Symposium on Logic in Computer Science (1993)
4. Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)
5. Chou, S.-C.: Mechanical Geometry Theorem Proving. D.Reidel Publishing Company, Dordrecht (1988)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献