Author:
Braun Gabriel,Narboux Julien
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference21 articles.
1. Boutry, P., Braun, G., Narboux, J.: From Tarski to Descartes: formalization of the arithmetization of euclidean geometry. In: The 7th International Symposium on Symbolic Computation in Software (SCSS 2016), EasyChair Proceedings in Computing, p. 15. Tokyo, Japan (2016)
2. Beeson, M.: Proof and computation in geometry. In: Ida, T., Fleuriot, J. (eds.) Automated Deduction in Geometry (ADG 2012), Volume 7993 of Springer Lecture Notes in Artificial Intelligence, pp. 1–30. Springer, Heidelberg (2013)
3. Beeson, M.: A constructive version of Tarski’s geometry. Ann. Pure Appl. Log. 166(11), 1199–1273 (2015)
4. Behnke, H., Gould, S.H.: Fundamentals of Mathematics: Geometry. MIT Press, New York (1974)
5. Bezem, M., Hendriks, D.: On the mechanization of the proof of Hessenberg’s theorem in coherent logic. J. Autom. Reason. 40(1), 61–85 (2008)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献