Author:
Stojanović Sana,Narboux Julien,Bezem Marc,Janičić Predrag
Publisher
Springer International Publishing
Reference30 articles.
1. Avigad, J., Dean, E., Mumma, J.: A Formal System for Euclid’s Elements. The Review of Symbolic Logic (2009)
2. Barendregt, H., Wiedijk, F.: The Challenge of Computer Mathematics. Philosophical Transactions of the Royal Society 363(1835), 2351–2375 (2005)
3. LNAI;M. Bezem,2005
4. Bezem, M., Hendriks, D.: On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic. Journal of Automated Reasoning 40(1) (2008)
5. Blanchette, J.C.: Redirecting Proofs by Contradiction. In: Blanchette, J.C., Urban, J. (eds.) Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10. EPiC Series, vol. 14, pp. 11–26. EasyChair (2013)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献