Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag Portfolio theorem proving and prover runtime prediction for geometry. (English) Zbl 1431.68123 Ann. Math. Artif. Intell. 85, No. 2-4, 119-146 (2019). MSC: 68V15 51M04 68T05 68T20 PDFBibTeX XMLCite \textit{M. Nikolić} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 119--146 (2019; Zbl 1431.68123) Full Text: DOI
Hašek, Roman; Kovács, Zoltán; Zahradník, Jan Contemporary interpretation of a historical locus problem with the use of computer algebra. (English) Zbl 1395.51004 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 191-205 (2017). MSC: 51-04 68W30 01A05 51-03 PDFBibTeX XMLCite \textit{R. Hašek} et al., Springer Proc. Math. Stat. 198, 191--205 (2017; Zbl 1395.51004) Full Text: DOI
Botana, Francisco; Recio, Tomas Computing envelopes in dynamic geometry environments. (English) Zbl 1409.68303 Ann. Math. Artif. Intell. 80, No. 1, 3-20 (2017). MSC: 68U05 68T15 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{T. Recio}, Ann. Math. Artif. Intell. 80, No. 1, 3--20 (2017; Zbl 1409.68303) Full Text: DOI Link
Botana, Francisco; Recio, Tomas On the unavoidable uncertainty of truth in dynamic geometry proving. (English) Zbl 1357.68197 Math. Comput. Sci. 10, No. 1, 5-25 (2016). MSC: 68T15 51-04 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{T. Recio}, Math. Comput. Sci. 10, No. 1, 5--25 (2016; Zbl 1357.68197) Full Text: DOI Link