Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference46 articles.
1. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s Elements. Rev. Symb. Log. 2, 700–768 (2009)
2. Beeson, M.: A constructive version of Tarski’s geometry. Ann. Pure Appl. Logic 166, 1199–1273 (2015)
3. Beeson, M.: Constructive geometry and the parallel postulate. Bull. Symb. Log. 22, 1–104 (2016)
4. Bledsoe, W. W., Loveland, D.: Automated Theorem Proving: After 25 Years. American Mathematical Society, Providence (1983)
5. Boutry, P.: On the Formalization of Foundations of Geometry. PhD thesis, University of Strasbourg (2018)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献