Zoltán Kovács

97 papers B 1C 5Misc 3Journal 55Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards automatic detection of geometric difficulty of geometry problems. Maple Trans. Zoltán Kovács, András Kerekes
2025	J	`jnl`	A simple proof of correctness of folding the regular heptagon. J. Autom. Reason. Zoltán Kovács
2025	J	`jnl`	Advanced Digital Solutions for Food Traceability: Enhancing Origin, Quality, and Safety Through NIRS, RFID, Blockchain, and IoT. J. Sens. Actuator Networks Matyas Lukacs, Fruzsina Toth, Roland Horvath, Gyula Solymos, Boglárka Alpár, Peter Varga, Istvan Kertesz, Zoltan Gillay, László Baranyai, Jozsef Felfoldi, Quang D. Nguyen, Zoltán Kovács, Laszlo Friedrich
2025	J	`jnl`	Automated analysis of the difficulty of secondary school geometry theorems. Ann. Math. Artif. Intell. Soma Bartha, András Kerekes, Zoltán Kovács, Tomás Recio
2025	J	`jnl`	Automated proving in planar geometry based on the complex number identity method and elimination. CoRR Zoltán Kovács, Xicheng Peng
2025	J	`jnl`	Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. Zoltán Kovács, Pedro Quaresma
2025	J	`jnl`	On automated completion of geometry statements and proofs with GeoGebra Discovery. Ann. Math. Artif. Intell. Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2024	—	`conf`	A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic. PAAR+SC²@IJCAR Zoltán Kovács, Reinhard Oldenburg
2024	J	`jnl`	A note on Erdős's mysterious remark. CoRR Zoltán Kovács
2024	J	`jnl`	Computing with Tarski formulas and semi-algebraic sets in a web browser. J. Symb. Comput. Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2024	—	`conf`	GNU Aris: a web application for students. ThEdu@CADE Saksham Attri, Zoltán Kovács, Aaron Windischbauer
2024	J	`jnl`	Multicommodity network flow model of a human resource allocation problem considering time periods. Central Eur. J. Oper. Res. Zsolt Ercsey, Zoltán Kovács
2024	—	`ed.`	Proceedings 14th International Conference on Automated Deduction in Geometry, ADG 2023, Belgrade, Serbia, 20-22th September 2023. ADG Pedro Quaresma, Zoltán Kovács
2024	J	`jnl`	The ShowProof Command in ACM Commun. Comput. Algebra Zoltán Kovács, Bernard Parisse, Tomás Recio, M. Pilar Vélez, Jonathan H. Yu
2023	J	`jnl`	Application of Near Infrared Spectroscopy to Monitor the Quality Change of Sour Cherry Stored under Modified Atmosphere Conditions. Sensors Gergo Szabo, Flora Vitális, Zsuzsanna Horvath-Mezofi, Mónika Göb, Juan Pablo Aguinaga Bósquez, Zoltan Gillay, Tamás Zsom, Lien Le Phuong Nguyen, Géza Hitka, Zoltán Kovács, Laszlo Friedrich
2023	J	`jnl`	Automated Exploration of Envelopes and Offsets with Networking of Technologies. Math. Comput. Sci. Thierry N. Dana-Picard, Zoltán Kovács
2023	J	`jnl`	Dynamic and automated constructions of plane curves. Maple Trans. Thierry N. Dana-Picard, Zoltán Kovács
2023	J	`jnl`	Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra Christopher W. Brown, Zoltán Kovács, Tomás Recio
2023	J	`jnl`	Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. Zoltán Kovács, Predrag Janicic
2023	—	`conf`	Open Source Prover in the Attic. ADG Zoltán Kovács, Alexander Vujic
2023	—	`conf`	Showing Proofs, Assessing Difficulty with GeoGebra Discovery. ADG Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2023	—	`conf`	Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery. ADG Amela Hota, Zoltán Kovács, Alexander Vujic
2023	—	`conf`	Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. ADG Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos
2023	—	`conf`	The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt. ADG Anna Käferböck, Zoltán Kovács
2023	—	`conf`	Towards Detection of Partial Truth via Real Geometry. SC-Square@ISSAC Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2023	—	`conf`	Using Java Geometry Expert as Guide in the Preparations for Math Contests. ADG Ines Ganglmayr, Zoltán Kovács
2022	Misc	`conf`	A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. SYNASC Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2022	J	`jnl`	Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2021	J	`jnl`	A Mechanical Geometer. Math. Comput. Sci. Francisco Botana, Zoltán Kovács, Tomás Recio
2021	—	`conf`	Automated Discovery of Geometrical Theorems in GeoGebra. ThEdu@CADE Zoltán Kovács, Jonathan H. Yu
2021	J	`jnl`	Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2021	—	`conf`	Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities. CICM Workshops Zoltán Kovács, Róbert Vajda
2021	—	`conf`	GeoGebra Discovery in Context. ADG Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2021	J	`jnl`	Near-Infrared Spectroscopy and Aquaphotomics for Monitoring Mung Bean (Vigna radiata) Sprout Growth and Validation of Ascorbic Acid Content. Sensors David Tjandra Nugraha, John-Lewis Zinia Zaukuu, Juan Pablo Aguinaga Bósquez, Zsanett Bodor, Flora Vitális, Zoltán Kovács
2021	—	`conf`	Online Generation of Proofs Without Words. ADG Alexander Thaller, Zoltán Kovács
2021	—	`conf`	Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. ADG Zoltán Kovács, Róbert Vajda
2021	—	`ed.`	Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. ADG Predrag Janicic, Zoltán Kovács
2021	J	`jnl`	Standardized Extraction Techniques for Meat Analysis with the Electronic Tongue: A Case Study of Poultry and Red Meat Adulteration. Sensors John-Lewis Zinia Zaukuu, Zoltan Gillay, Zoltán Kovács
2021	—	`conf`	Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. ADG Christopher W. Brown, Zoltán Kovács, Róbert Vajda
2021	—	`conf`	Symbolic Comparison of Geometric Quantities in GeoGebra. ThEdu@CADE Zoltán Kovács, Róbert Vajda
2021	J	`jnl`	Two almost-circles, and two real ones. Math. Comput. Sci. Zoltán Kovács
2021	J	`jnl`	Validation of Visually Interpreted Corine Land Cover Classes with Spectral Values of Satellite Images and Machine Learning. Remote. Sens. 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ó
2021	J	`jnl`	XaoS 4.0 and Beyond: Fractals in Mathematics Education. Math. Comput. Sci. Anurag Aggarwal, Zoltán Kovács, J. B. Langston, Jonathan Wolfe
2020	B	`conf`	"Mathemachines" via LEGO, GeoGebra and CindyJS. CASC Zoltán Kovács
2020	J	`jnl`	Automated Detection of Interesting Properties in Regular Polygons. Math. Comput. Sci. Zoltán Kovács
2020	J	`jnl`	Classification of Bee Pollen and Prediction of Sensory and Colorimetric Attributes - A Sensometric Fusion Approach by e-Nose, e-Tongue and NIR. Sensors László Sipos, Rita Végh, Zsanett Bodor, John-Lewis Zinia Zaukuu, Géza Hitka, György Bázár, Zoltán Kovács
2020	J	`jnl`	Detection and Quantification of Tomato Paste Adulteration Using Conventional and Rapid Analytical Methods. Sensors 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
2020	—	`conf`	GeoGebra and the PAAR+SC²@IJCAR Róbert Vajda, Zoltán Kovács
2020	J	`jnl`	Historical Evolution and Food Control Achievements of Near Infrared Spectroscopy, Electronic Nose, and Electronic Tongue - Critical Overview. Sensors 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
2020	—	`conf`	Merging Maple and GeoGebra Automated Reasoning Tools. MC Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2020	J	`jnl`	Reasoning about linkages with dynamic geometry. J. Symb. Comput. Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2020	J	`jnl`	Sensory and Physicochemical Evaluation of Acacia and Linden Honey Adulterated with Sugar Syrup. Sensors Zsanett Bodor, Zoltán Kovács, Mahmoud Said Rashed, Zoltán Kókai, István Dalmadi, Csilla Benedek
2020	J	`jnl`	Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. Francisco Botana, Zoltán Kovács, Tomás Recio
2020	—	`conf`	Steps to Visible Aquaphotomics. IWBBIO Vladyslav Bozhynov, Oleksandr Mashchenko, Pavla Urbanová, Zoltán Kovács
2020	J	`jnl`	Towards Automated Discovery of Geometrical Theorems in GeoGebra. CoRR Zoltán Kovács, Jonathan H. Yu
2020	J	`jnl`	Two almost-circles, and two real ones. CoRR Zoltán Kovács
2019	J	`jnl`	Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry. Math. Comput. Sci. Zoltán Kovács
2019	J	`jnl`	Efficiency of local minima and GLM techniques in sinkhole extraction from a LiDAR-based terrain model. Int. J. Digit. Earth Péter Enyedi, Melinda Pap, Zoltán Kovács, László Takács-Szilágyi, Szilárd Szabó
2019	C	`conf`	Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. CICM Zoltán Kovács, Pavel Pech
2019	—	`conf`	Individual Tree Species Classification Using Airborne Hyperspectral Imagery And Lidar Data. WHISPERS Péter Burai, László Beko, Csaba Lenart, Tamás Tomor, Zoltán Kovács
2019	—	`ed.`	Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CICM Workshops Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019	J	`jnl`	Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic
2019	J	`jnl`	Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2019	J	`jnl`	Standard Analytical Methods, Sensory Evaluation, NIRS and Electronic Tongue for Sensing Taste Attributes of Different Melon Varieties. Sensors 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
2019	J	`jnl`	Synthesis algorithms for the reliability analysis of processing systems. Central Eur. J. Oper. Res. Zoltán Kovács, Ákos Orosz, Ferenc Friedler
2019	—	`conf`	Towards a Geometry Automated Provers Competition. ThEdu@CADE Nuno Baeta, Pedro Quaresma, Zoltán Kovács
2018	—	`conf`	Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools. CICM Workshops Zoltán Kovács
2018	C	`conf`	Automated Determination of Isoptics with Dynamic Geometry. CICM Thierry N. Dana-Picard, Zoltán Kovács
2018	J	`jnl`	Detecting truth on components. CoRR Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2018	Misc	`conf`	Discovering Geometry Theorems in Regular Polygons. AISC Zoltán Kovács
2018	C	`conf`	Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. CICM Zoltán Kovács
2018	Misc	`conf`	Towards an Automated Geometer. AISC Francisco Botana, Zoltán Kovács, Tomás Recio
2017	J	`jnl`	A note about Euler's inequality and automated reasoning with dynamic geometry. CoRR Zoltán Kovács, Róbert Vajda
2017	J	`jnl`	Foreword. Math. Comput. Sci. Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler
2017	J	`jnl`	No, This is not a Circle. CoRR Zoltán Kovács
2017	J	`jnl`	Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations. Math. Comput. Sci. Zoltán Kovács
2016	J	`jnl`	Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2016	J	`jnl`	GeoGebra Tools with Proof Capabilities. CoRR Zoltán Kovács, Csilla Sólyom-Gecse
2016	J	`jnl`	New tools in GeoGebra offering novel opportunities to teach loci and envelopes. CoRR Francisco Botana, Zoltán Kovács
2016	J	`jnl`	Smart Sensing System for the Prognostic Monitoring of Bone Health. Sensors Nasrin Afsarimanesh, Asif I. Zia, Subhas Chandra Mukhopadhyay, Marlena Kruger, Pak-Lam Yu, Jürgen Kosel, Zoltán Kovács
2016	—	`conf`	Towards the Automatic Discovery of Theorems in GeoGebra. ICMS Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2015	J	`jnl`	A Singular web service for geometric computations. Ann. Math. Artif. Intell. Francisco Botana, Zoltán Kovács
2015	J	`jnl`	Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
2015	—	`ch.`	Giac and GeoGebra - Improved Gröbner Basis Computations. Computer Algebra and Polynomials Zoltán Kovács, Bernard Parisse
2015	J	`jnl`	Time-optimal operation of multi-component batch diafiltration. Comput. Chem. Eng. Martin Jelemenský, Radoslav Paulen, Miroslav Fikar, Zoltán Kovács
2014	—	`conf`	The Relation Tool in GeoGebra 5. ADG Zoltán Kovács
2013	C	`conf`	Economically optimal control of batch diafiltration processes. CCA Martin Jelemenský, Radoslav Paulen, Miroslav Fikar, Zoltán Kovács
2013	—	`conf`	Multi-objective optimal control of ultrafiltration/diafiltration processes. ECC Martin Jelemenský, Radoslav Paulen, Miroslav Fikar, Zoltán Kovács
2012	—	`conf`	Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue. PerMIn Zoltán Kovács, Dániel Szöllosi, András Fekete, Koichi Yoshida, Emiko Ishikawa, Sandrine Isz, Marion Bonnefille
2009	C	`conf`	Effective mars rover platform design with Hardware / Software co-design. DDECS Gábor Marosy, Zoltán Kovács, Gyula Horváth
2009	—	`conf`	Logistikmanagement der Produktauslaufphase: Ansätze zur Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept. PBFT Zoltán Kovács, Noémi Szalai
2008	J	`jnl`	Heuristic algorithms for a complex parallel machine scheduling problem. Central Eur. J. Oper. Res. Zoltán Blázsik, Csanád Imreh, Zoltán Kovács
2008	—	`conf`	Treating measurement uncertainty in complete conformity control system. SCSS (1) Zsolt Tibor Kosztyán, Tibor Csizmadia, Csaba Hegedüs, Zoltán Kovács
2006	J	`jnl`	Synthesis of Optimal Workflow Structure. J. Univers. Comput. Sci. József Tick, Zoltán Kovács, Ferenc Friedler
1999	J	`jnl`	On Merging Reduction of the Process Network Synthesis Problem. Acta Cybern. Cs. Holló, Zoltán Blázsik, Csanád Imreh, Zoltán Kovács
1997	—	`ch.`	Special Applications in Surface Fitting. Geometric Modeling Thomas Hermann, Zoltán Kovács, Tamás Várady
1981	J	`jnl`	Fortran Program to determine diffusion constants. Comput. Chem. Zoltán Kovács, István Mezey