Author:
Ðurđević Sana Stojanović,Narboux Julien,Janičić Predrag
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference37 articles.
1. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s elements. Rev. Symb. Log. 2(4), 700–768 (2009)
2. Beeson, M.: Proof and computation in geometry. In: Automated Deduction in Geometry – ADG 2012, volume 7993 of Lecture Notes in Computer Science, pp. 1–30. Springer (2013)
3. Beeson, M., Wos, L.: OTTER Proofs in Tarskian geometry. In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, volume 8562 of Lecture Notes in Computer Science, pp. 495–510. Springer (2014)
4. Blanchette, J. C. : Redirecting proofs by Contradiction. In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, volume 14 of EPiC Series, pp. 11–26. EasyChair (2013)
5. Bezem, M., Coquand, T.: Automating coherent logic. In: 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning — LPAR 2005, volume 3835 of Lecture Notes in Computer Science. Springer-Verlag (2005)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献