1. Research with MATF
  2. Research Outputs

Browsing by Author Narboux, Julien

Showing results 1 to 6 of 6
Issue DateTitleAuthor(s)Rank
1-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, Pedro
1-Dec-2023Automated generation of illustrated proofs in geometry and beyondJaničić, Predrag ; Narboux, JulienM22
30-Dec-2021Automated Generation of Illustrations for Synthetic Geometry ProofsJaničić, Predrag ; Narboux, Julien
1-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of tarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag 
2022Theorem Proving as Constraint Solving with Coherent LogicJaničić, Predrag ; Narboux, Julien
1-Jan-2014A vernacular for coherent logicStojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag 
Showing results 1 to 6 of 6