Author:
Meikle Laura I.,Fleuriot Jacques D.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated generation of readable proofs with geometric invariants, I. multiple and shortest proof generation. Journal of Automated Reasoning 17, 325–347 (1996)
2. Church, A.: A formulation of the simple theorey of type. Journal of Symbolic Logic 5, 56–68 (1940)
3. Automated deduction in Geometry;C. Dehlinger,2001
4. Gordon, M., Melham, T.: Introduction to HOL: A theorem proving enviroment for Higher Order Logic. Cambridge University Press, Cambridge (1993)
5. Hilbert, D.: The Foundations of Geometry, 11th edn. The Open Court Company (2001);
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献