Journal: Annals of Mathematics and Artificial Intelligence

Volume 74, Issue 3-4

249 -- 269Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic. Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry
271 -- 308Filip Maric, Danijela Petrovic. Formalizing complex plane geometry
309 -- 332Nicolas Magaud, Agathe Chollet, Laurent Fuchs. Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
333 -- 358Xiaoyu Chen, Dan Song, Dongming Wang. Automated generation of geometric theorems from images of diagrams
359 -- 370Francisco Botana, Zoltán Kovács. A Singular web service for geometric computations
371 -- 400John Christopher Bowers, Ileana Streinu. Lang's Universal molecule algorithm

Volume 74, Issue 1-2

1 -- 7Harris Papadopoulos, Vladimir Vovk, Alexander Gammerman. Guest editors' preface to the special issue on conformal prediction and its applications
9 -- 28Vladimir Vovk. Cross-conformal predictors
29 -- 43Jing Lei, Alessandro Rinaldo, Larry A. Wasserman. A conformal prediction approach to explore functional data
45 -- 65Vineeth Nallure Balasubramanian, Shayok Chakraborty, Sethuraman Panchanathan. Conformal predictions for information fusion - A comparative study of p-value combination methods
67 -- 94Rikard Laxhammar, Göran Falkman. Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories
95 -- 116Frank-Michael Schleif, Xibin Zhu, Barbara Hammer. Sparse conformal prediction for dissimilarity data
117 -- 132Martin Eklund, Ulf Norinder, Scott Boyer, Lars Carlsson. The application of conformal prediction to the drug discovery process
133 -- 153Khuong An Nguyen, Zhiyuan Luo. Reliable indoor location prediction using conformal prediction
155 -- 180Andrea Murari, Jesús Vega, D. Mazon, T. Courregelongue. Preliminary numerical investigations of conformal predictors based on fuzzy logic classifiers
181 -- 201Antonis Lambrou, Ilia Nouretdinov, Harris Papadopoulos. Inductive Venn Prediction
203 -- 222Ilia Nouretdinov, Dmitry Devetyarov, Volodya Vovk, Brian Burford, Stephane Camuzeaux, Aleksandra Gentry-Maharaj, Ali Tiss, Celia J. Smith, Zhiyuan Luo, Alexey Ya. Chervonenkis, Rachel Hallett, Mike Waterfield, Rainer Cramer, John F. Timms, Ian Jacobs, Usha Menon, Alexander Gammerman. Multiprobabilistic prediction in early medical diagnoses
223 -- 247Jesús Vega, Andrea Murari, Sebastián Dormido-Canto, T. Cruz. Simulations of nuclear fusion diagnostics based on projections with Venn predictors and context drift detection