Annals of Mathematics and Artificial Intelligence

Formalization of geometry, automated and interactive geometric reasoning

Zoltán Kovács, Predrag Janičić

Automated discovery of angle theorems

• Open Access

Philip Todd

A program to create new geometry proof problems

Philip Todd, Danny Aley

Automated generation of illustrated proofs in geometry and beyond

Predrag Janičić, Julien Narboux

Automated triangle constructions in hyperbolic geometry

Vesna Marinković, Tijana Šukilović, Filip Marić

Towards a geometry deductive database prover

• Open Access

Nuno Baeta, Pedro Quaresma

Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for

Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen

Correction to: The logic of secrets and the interpolation rule

• Correction

Zuojun Xiong, Thomas Ågotnes

Correction to: Preface: Selected revised papers from the LION 15 conference

• Correction

Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos