Zoltán Kovács

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 69

Top Topics

Theorem Proving

Automated Reasoning

International Conference

Algebraic Expressions

Top Venues

Math. Comput. Sci.

Ann. Math. Artif. Intell.

Publications

Amela Hota, Zoltán Kovács, Alexander Vujic
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery. CoRR (2024)
Zoltán Kovács, Reinhard Oldenburg
A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic. PAAR+SC²@IJCAR (2024)
Pedro Quaresma, Zoltán Kovács
Proceedings 14th International Conference on Automated Deduction in Geometry. CoRR (2024)
Ines Ganglmayr, Zoltán Kovács
Using Java Geometry Expert as Guide in the Preparations for Math Contests. CoRR (2024)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Showing Proofs, Assessing Difficulty with GeoGebra Discovery. CoRR (2024)
Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. CoRR (2024)
Zoltán Kovács, Alexander Vujic
Open Source Prover in the Attic. CoRR (2024)
Anna Käferböck, Zoltán Kovács
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt. CoRR (2024)
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
Computing with Tarski formulas and semi-algebraic sets in a web browser. J. Symb. Comput. 120 (2024)
Thierry N. Dana-Picard, Zoltán Kovács
Dynamic and automated constructions of plane curves. Maple Trans. 3 (3) (2023)
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Towards Detection of Partial Truth via Real Geometry. SC-Square@ISSAC (2023)
Thierry N. Dana-Picard, Zoltán Kovács
Automated Exploration of Envelopes and Offsets with Networking of Technologies. Math. Comput. Sci. 17 (1) (2023)
Gergo Szabo, Flora Vitális, Zsuzsanna Horvath-Mezofi, Monika Gob, Juan Pablo Aguinaga Bósquez, Zoltan Gillay, Tamás Zsom, Lien Le Phuong Nguyen, Géza Hitka, Zoltán Kovács, Laszlo Friedrich
Application of Near Infrared Spectroscopy to Monitor the Quality Change of Sour Cherry Stored under Modified Atmosphere Conditions. Sensors 23 (1) (2023)
Zoltán Kovács, Predrag Janicic
Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 91 (6) (2023)
Christopher W. Brown, Zoltán Kovács, Tomás Recio
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57 (2) (2023)
Zoltán Kovács, Róbert Vajda
Symbolic Comparison of Geometric Quantities in GeoGebra. CoRR (2022)
Zoltán Kovács, Róbert Vajda
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. CoRR (2022)
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. SYNASC (2022)
Zoltán Kovács, Jonathan H. Yu
Automated Discovery of Geometrical Theorems in GeoGebra. CoRR (2022)
Alexander Thaller, Zoltán Kovács
Online Generation of Proofs Without Words. CoRR (2022)
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. 16 (4) (2022)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
GeoGebra Discovery in Context. CoRR (2022)
John-Lewis Zinia Zaukuu, Zoltan Gillay, Zoltán Kovács
Standardized Extraction Techniques for Meat Analysis with the Electronic Tongue: A Case Study of Poultry and Red Meat Adulteration. Sensors 21 (2) (2021)
Christopher W. Brown, Zoltán Kovács, Róbert Vajda
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. ADG (2021)
Zoltán Kovács
Two almost-circles, and two real ones. Math. Comput. Sci. 15 (4) (2021)
Predrag Janicic, Zoltán Kovács
Proceedings of the 13th International Conference on Automated Deduction in Geometry. CoRR (2021)
Francisco Botana, Zoltán Kovács, Tomás Recio
A Mechanical Geometer. Math. Comput. Sci. 15 (4) (2021)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra 55 (2) (2021)
Zoltán Kovács, Róbert Vajda
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities. CICM Workshops (2021)
David Tjandra Nugraha, John-Lewis Zinia Zaukuu, Juan Pablo Aguinaga Bósquez, Zsanett Bodor, Flora Vitális, Zoltán Kovács
Near-Infrared Spectroscopy and Aquaphotomics for Monitoring Mung Bean (Vigna radiata) Sprout Growth and Validation of Ascorbic Acid Content. Sensors 21 (2) (2021)
Anurag Aggarwal, Zoltán Kovács, J. B. Langston, Jonathan Wolfe
XaoS 4.0 and Beyond: Fractals in Mathematics Education. Math. Comput. Sci. 15 (4) (2021)
Orsolya Gyöngyi Varga, Zoltán Kovács, László Beko, Péter Burai, Zsuzsanna Csatáriné Szabó, Imre Holb, Sarawut Ninsawat, Szilárd Szabó
Validation of Visually Interpreted Corine Land Cover Classes with Spectral Values of Satellite Images and Machine Learning. Remote. Sens. 13 (5) (2021)
Flora Vitális, John-Lewis Zinia Zaukuu, Zsanett Bodor, Balkis Aouadi, Géza Hitka, Timea Kaszab, Viktoria Zsom-Muha, Zoltan Gillay, Zoltán Kovács
Detection and Quantification of Tomato Paste Adulteration Using Conventional and Rapid Analytical Methods. Sensors 20 (21) (2020)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97 (2020)
Zoltán Kovács
Two almost-circles, and two real ones. CoRR (2020)
Zoltán Kovács
Automated Detection of Interesting Properties in Regular Polygons. Math. Comput. Sci. 14 (4) (2020)
Zoltán Kovács
"Mathemachines" via LEGO, GeoGebra and CindyJS. CASC (2020)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Merging Maple and GeoGebra Automated Reasoning Tools. MC (2020)
Francisco Botana, Zoltán Kovács, Tomás Recio
Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. 97 (2020)
László Sipos, Rita Végh, Zsanett Bodor, John-Lewis Zinia Zaukuu, Géza Hitka, György Bázár, Zoltán Kovács
Classification of Bee Pollen and Prediction of Sensory and Colorimetric Attributes - A Sensometric Fusion Approach by e-Nose, e-Tongue and NIR. Sensors 20 (23) (2020)
Zoltán Kovács, Jonathan H. Yu
Towards Automated Discovery of Geometrical Theorems in GeoGebra. CoRR (2020)
Róbert Vajda, Zoltán Kovács
Reasoning Tool. PAAR+SC²@IJCAR (2020)
Vladyslav Bozhynov, Oleksandr Mashchenko, Pavla Urbanová, Zoltán Kovács
Steps to Visible Aquaphotomics. IWBBIO (2020)
Zsanett Bodor, Zoltán Kovács, Mahmoud Said Rashed, Zoltán Kókai, István Dalmadi, Csilla Benedek
Sensory and Physicochemical Evaluation of Acacia and Linden Honey Adulterated with Sugar Syrup. Sensors 20 (17) (2020)
Balkis Aouadi, John-Lewis Zinia Zaukuu, Flora Vitális, Zsanett Bodor, Orsolya Fehér, Zoltan Gillay, György Bázár, Zoltán Kovács
Historical Evolution and Food Control Achievements of Near Infrared Spectroscopy, Electronic Nose, and Electronic Tongue - Critical Overview. Sensors 20 (19) (2020)
Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Péter Burai, László Beko, Csaba Lenart, Tamás Tomor, Zoltán Kovács
Individual Tree Species Classification Using Airborne Hyperspectral Imagery And Lidar Data. WHISPERS (2019)
Zoltán Kovács
Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry. Math. Comput. Sci. 13 (1-2) (2019)
Péter Enyedi, Melinda Pap, Zoltán Kovács, László Takács-Szilágyi, Szilárd Szabó
Efficiency of local minima and GLM techniques in sinkhole extraction from a LiDAR-based terrain model. Int. J. Digit. Earth 12 (9) (2019)
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
Towards a Geometry Automated Provers Competition. ThEdu@CADE (2019)
Zoltán Kovács, Ákos Orosz, Ferenc Friedler
Synthesis algorithms for the reliability analysis of processing systems. Central Eur. J. Oper. Res. 27 (2) (2019)
Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic
Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Zoltán Kovács, Pavel Pech
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. CICM (2019)
Dzsenifer Németh, Gábor Balázs, Hussein G. Daood, Zoltán Kovács, Zsanett Bodor, John-Lewis Zinia Zaukuu, Viktor Szentpeteri, Zoltán Kókai, Noemi Kappel
Standard Analytical Methods, Sensory Evaluation, NIRS and Electronic Tongue for Sensing Taste Attributes of Different Melon Varieties. Sensors 19 (22) (2019)
Zoltán Kovács
Discovering Geometry Theorems in Regular Polygons. AISC (2018)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Detecting truth on components. CoRR (2018)
Francisco Botana, Zoltán Kovács, Tomás Recio
Towards an Automated Geometer. AISC (2018)
Zoltán Kovács
Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools. CICM Workshops (2018)
Zoltán Kovács
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. CICM (2018)
Thierry N. Dana-Picard, Zoltán Kovács
Automated Determination of Isoptics with Dynamic Geometry. CICM (2018)
Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler
Foreword. Math. Comput. Sci. 11 (3-4) (2017)
Zoltán Kovács
Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations. Math. Comput. Sci. 11 (3-4) (2017)
Zoltán Kovács, Róbert Vajda
A note about Euler's inequality and automated reasoning with dynamic geometry. CoRR (2017)
Zoltán Kovács
No, This is not a Circle. CoRR (2017)
Francisco Botana, Zoltán Kovács
New tools in GeoGebra offering novel opportunities to teach loci and envelopes. CoRR (2016)
Nasrin Afsarimanesh, Asif I. Zia, Subhas Chandra Mukhopadhyay, Marlena Kruger, Pak-Lam Yu, Jürgen Kosel, Zoltán Kovács
Smart Sensing System for the Prognostic Monitoring of Bone Health. Sensors 16 (7) (2016)
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Towards the Automatic Discovery of Theorems in GeoGebra. ICMS (2016)
Zoltán Kovács, Csilla Sólyom-Gecse
GeoGebra Tools with Proof Capabilities. CoRR (2016)
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50 (3) (2016)
Francisco Botana, Zoltán Kovács
A Singular web service for geometric computations. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55 (1) (2015)
Martin Jelemenský, Radoslav Paulen, Miroslav Fikar, Zoltán Kovács
Time-optimal operation of multi-component batch diafiltration. Comput. Chem. Eng. 83 (2015)
Zoltán Kovács
The Relation Tool in GeoGebra 5. ADG (2014)
Martin Jelemenský, Radoslav Paulen, Miroslav Fikar, Zoltán Kovács
Multi-objective optimal control of ultrafiltration/diafiltration processes. ECC (2013)
Martin Jelemenský, Radoslav Paulen, Miroslav Fikar, Zoltán Kovács
Economically optimal control of batch diafiltration processes. CCA (2013)
Zoltán Kovács, Dániel Szöllosi, András Fekete, Koichi Yoshida, Emiko Ishikawa, Sandrine Isz, Marion Bonnefille
Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue. PerMIn (2012)
Gábor Marosy, Zoltán Kovács, Gyula Horváth
Effective mars rover platform design with Hardware / Software co-design. DDECS (2009)
Zoltán Kovács, Noémi Szalai
Logistikmanagement der Produktauslaufphase: Ansätze zur Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept. PBFT (2009)
Zsolt Tibor Kosztyán, Tibor Csizmadia, Csaba Hegedüs, Zoltán Kovács
Treating measurement uncertainty in complete conformity control system. SCSS (1) (2008)
Zoltán Blázsik, Csanád Imreh, Zoltán Kovács
Heuristic algorithms for a complex parallel machine scheduling problem. Central Eur. J. Oper. Res. 16 (4) (2008)
József Tick, Zoltán Kovács, Ferenc Friedler
Synthesis of Optimal Workflow Structure. J. Univers. Comput. Sci. 12 (9) (2006)
Cs. Holló, Zoltán Blázsik, Csanád Imreh, Zoltán Kovács
On Merging Reduction of the Process Network Synthesis Problem. Acta Cybern. 14 (2) (1999)
Zoltán Kovács, István Mezey
Fortran Program to determine diffusion constants. Comput. Chem. 5 (2-3) (1981)