Portfolio theorem proving and prover runtime prediction for geometry - Nikolic, Mladen; Marinkovic, Vesna; Kovaacs, Zoltan; Janicic, Predrag (Annals of mathematics and artificial intelligence, 2019)
Keywords: Analysis; Artificial Intelligence; Automated reasoning; Automation; Complex Systems; Computer Science; Geometry; Machine learning; Mathematics; Prediction models; Problem solving; Technology application; Theorem proving; Algorithmic portfolios; 68T05; Runtime prediction; 68T15; 03B35; Automated theorem proving in geometry