Formalization and Automation of Geometry
Formalization and Automation of Geometry
Publications
Aller à la navigation
Aller à la recherche
- S. Stojanovic Durdevic , J. Narboux, M. Bezem , P. Janicic. A Vernacular for Coherent Logic, Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, pages 388-403, Springer, LNCS, Volume 8543, juillet 2014, doi:10.1007/978-3-319-08434-3_28
- S. Stojanovic Durdevic , J. Narboux, P. Janicic. Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski's Geometry, Annals of Mathematics and Artificial Intelligence, Springer Verlag (Germany) ( IF : 0.944, SNIP : 1.24, SJR : 0.593 ), pages 249-269, Volume 74, n° 3-4, janvier 2015. SJR Q2, doi:10.1007/s10472-014-9443-5
- P. Schreck, V. Marinkovic , P. Janicic, Constructibility Classes for Triangle Location Problems, Mathematics in Computer Science, Springer ( SNIP : 1.168, SJR : 0.337 ), pages 27-39, Volume 10, n° 1, mars 2016, doi:10.1007/s11786-016-0255-3
- P. Schreck, P. Mathis, V. Marinkovic , P. Janicic. Wernick's List: A Final Update, Forum Geometricorum, Florida Atlantic University (Department of mathematical sciences), pages 69-80, Volume 16, mars 2016. online publication - no impact factor available