Portfolio theorem proving and prover runtime prediction for geometry
From MaRDI portal
Publication:2631959
DOI10.1007/s10472-018-9598-6zbMath1431.68123MaRDI QIDQ2631959
Predrag Janičić, Zoltán Kovács, Vesna Marinković, Mladen Nikolić
Publication date: 16 May 2019
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-018-9598-6
68T05: Learning and adaptive systems in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
51M04: Elementary problems in Euclidean geometries
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software