Kovács, Zoltán; Brown, Christopher; Recio, Tomás; Vajda, Róbert Computing with Tarski formulas and semi-algebraic sets in a web browser. (English) Zbl 07725360 J. Symb. Comput. 120, Article ID 102235, 17 p. (2024). MSC: 68Wxx 03Cxx 68Txx PDFBibTeX XMLCite \textit{Z. Kovács} et al., J. Symb. Comput. 120, Article ID 102235, 17 p. (2024; Zbl 07725360) Full Text: DOI
Kovács, Zoltán Two almost-circles, and two real ones. (English) Zbl 07465804 Math. Comput. Sci. 15, No. 4, 789-801 (2021). MSC: 68-XX PDFBibTeX XMLCite \textit{Z. Kovács}, Math. Comput. Sci. 15, No. 4, 789--801 (2021; Zbl 07465804) Full Text: DOI arXiv
Botana, Francisco; Kovács, Zoltán; Recio, Tomás A mechanical geometer. (English) Zbl 07465794 Math. Comput. Sci. 15, No. 4, 631-641 (2021). MSC: 97G40 14H50 PDFBibTeX XMLCite \textit{F. Botana} et al., Math. Comput. Sci. 15, No. 4, 631--641 (2021; Zbl 07465794) Full Text: DOI
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar Reasoning about linkages with dynamic geometry. (English) Zbl 1440.68341 J. Symb. Comput. 97, 16-30 (2020). Reviewer: Nelly Villamizar (Swansea) MSC: 68W30 51M15 68U05 68V15 70B15 PDFBibTeX XMLCite \textit{Z. Kovács} et al., J. Symb. Comput. 97, 16--30 (2020; Zbl 1440.68341) Full Text: DOI
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
Botana, Francisco; Kovács, Zoltán; Recio, Tomás Towards an automated geometer. (English) Zbl 1515.68340 Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 215-220 (2018). MSC: 68V15 51-04 68W30 PDFBibTeX XMLCite \textit{F. Botana} et al., Lect. Notes Comput. Sci. 11110, 215--220 (2018; Zbl 1515.68340) 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; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon Automated theorem proving in GeoGebra: current achievements. (English) Zbl 1356.68181 J. Autom. Reasoning 55, No. 1, 39-59 (2015). MSC: 68T15 97Gxx 97U70 PDFBibTeX XMLCite \textit{F. Botana} et al., J. Autom. Reasoning 55, No. 1, 39--59 (2015; Zbl 1356.68181) Full Text: DOI Link
Kovács, Zoltán; Parisse, Bernard Giac and GeoGebra – improved Gröbner basis computations. (English) Zbl 1434.68708 Gutierrez, Jaime (ed.) et al., Computer algebra and polynomials. Applications of algebra and number theory. Berlin: Springer. Lect. Notes Comput. Sci. 8942, 126-138 (2015). MSC: 68W30 13P10 97Gxx 97U70 PDFBibTeX XMLCite \textit{Z. Kovács} and \textit{B. Parisse}, Lect. Notes Comput. Sci. 8942, 126--138 (2015; Zbl 1434.68708) Full Text: DOI
Kovács, Zoltán The relation tool in GeoGebra 5. (English) Zbl 1434.97015 Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 53-71 (2015). MSC: 97U70 97G10 68V15 68W30 97N80 PDFBibTeX XMLCite \textit{Z. Kovács}, Lect. Notes Comput. Sci. 9201, 53--71 (2015; Zbl 1434.97015) Full Text: DOI
Botana, Francisco; Kovács, Zoltán A Singular web service for geometric computations. (English) Zbl 1330.68336 Ann. Math. Artif. Intell. 74, No. 3-4, 359-370 (2015). MSC: 68U35 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{Z. Kovács}, Ann. Math. Artif. Intell. 74, No. 3--4, 359--370 (2015; Zbl 1330.68336) Full Text: DOI Link