Formalization of geometry, automated and interactive geometric reasoning Zoltán KovácsPredrag Janičić EditorialNotes 06 November 2023 Pages: 751 - 752
Automated discovery of angle theorems Philip Todd OriginalPaper Open access 09 May 2023 Pages: 753 - 778
A program to create new geometry proof problems Philip ToddDanny Aley OriginalPaper 16 May 2023 Pages: 779 - 795
Automated generation of illustrated proofs in geometry and beyond Predrag JaničićJulien Narboux OriginalPaper 03 July 2023 Pages: 797 - 820
Automated triangle constructions in hyperbolic geometry Vesna MarinkovićTijana ŠukilovićFilip Marić OriginalPaper 12 June 2023 Pages: 821 - 849
Towards a geometry deductive database prover Nuno BaetaPedro Quaresma OriginalPaper Open access 24 May 2023 Pages: 851 - 863
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for \(n=4,5\) Yaochen XuZhenbing ZengLiangyu Chen OriginalPaper 06 July 2023 Pages: 865 - 898
Correction to: The logic of secrets and the interpolation rule Zuojun XiongThomas Ågotnes Correction 05 April 2023 Pages: 899 - 899
Correction to: Preface: Selected revised papers from the LION 15 conference Ilias S. KotsireasPanos M. PardalosDimitris E. Simos Correction 17 May 2023 Pages: 901 - 901