Volume 74, Issue 3-4 | Annals of Mathematics and Artificial Intelligence

Search all Annals of Mathematics and Artificial Intelligence articles

Volume 74, Issue 3-4

August 2015

GEOMETRIC REASONING

Issue Editors:

Jacques Fleuriot,
Tetsuo Ida

6 articles in this issue

Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Sana Stojanović Ðurđević
Julien Narboux
Predrag Janičić
OriginalPaper 07 January 2015 Pages: 249 - 269
Formalizing complex plane geometry
Filip Marić
Danijela Petrović
OriginalPaper 12 November 2014 Pages: 271 - 308
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
Nicolas Magaud
Agathe Chollet
Laurent Fuchs
OriginalPaper 17 October 2014 Pages: 309 - 332
Automated generation of geometric theorems from images of diagrams
Xiaoyu Chen
Dan Song
Dongming Wang
OriginalPaper 08 October 2014 Pages: 333 - 358
A Singular web service for geometric computations
Francisco Botana
Zoltán Kovács
OriginalPaper 01 November 2014 Pages: 359 - 370
Lang’s Universal molecule algorithm
John C. Bowers
Ileana Streinu
OriginalPaper 17 October 2014 Pages: 371 - 400