default search action
Zoltán Kovács
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j39]Zsolt Ercsey
, Zoltán Kovács:
Multicommodity network flow model of a human resource allocation problem considering time periods. Central Eur. J. Oper. Res. 32(4): 1041-1059 (2024) - [j38]Zoltán Kovács
Computing with Tarski formulas and semi-algebraic sets in a web browser. J. Symb. Comput. 120: 102235 (2024) - [c36]Zoltán Kovács, Reinhard Oldenburg:
A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic. PAAR+SC²@IJCAR 2024: 122-131 - [e3]Pedro Quaresma, Zoltán Kovács:
Proceedings 14th International Conference on Automated Deduction in Geometry, ADG 2023, Belgrade, Serbia, 20-22th September 2023. EPTCS 398, 2024 [contents] - 2023
- [j37]Zoltán Kovács, Predrag Janicic:
Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 91(6): 751-752 (2023) - [j36]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): 43-46 (2023) - [j35]Thierry N. Dana-Picard
Dynamic and automated constructions of plane curves. Maple Trans. 3(3) (2023) - [j34]Thierry N. Dana-Picard
Automated Exploration of Envelopes and Offsets with Networking of Technologies. Math. Comput. Sci. 17(1): 3 (2023) - [j33]Gergo Szabo, Flora Vitális
Application of Near Infrared Spectroscopy to Monitor the Quality Change of Sour Cherry Stored under Modified Atmosphere Conditions. Sensors 23(1): 479 (2023) - [c35]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: 44-53 - [c34]Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Showing Proofs, Assessing Difficulty with GeoGebra Discovery. ADG 2023: 43-52 - [c33]Zoltán Kovács, Alexander Vujic:
Open Source Prover in the Attic. ADG 2023: 53-61 - [c32]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. ADG 2023: 101-109 - [c31]Amela Hota, Zoltán Kovács, Alexander Vujic:
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery. ADG 2023: 110-123 - [c30]Ines Ganglmayr, Zoltán Kovács:
Using Java Geometry Expert as Guide in the Preparations for Math Contests. ADG 2023: 124-131 - [c29]Anna Käferböck, Zoltán Kovács:
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt. ADG 2023: 132-141 - 2022
- [j32]Christopher W. Brown, Zoltán Kovács, Tomás Recio
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. 16(4): 31 (2022) - [c28]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: 59-62 - 2021
- [j31]Zoltán Kovács, Tomás Recio
Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra 55(2): 39-43 (2021) - [j30]Francisco Botana, Zoltán Kovács
A Mechanical Geometer. Math. Comput. Sci. 15(4): 631-641 (2021) - [j29]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): 775-788 (2021) - [j28]Zoltán Kovács:
Two almost-circles, and two real ones. Math. Comput. Sci. 15(4): 789-801 (2021) - [j27]Orsolya Gyöngyi Varga
Validation of Visually Interpreted Corine Land Cover Classes with Spectral Values of Satellite Images and Machine Learning. Remote. Sens. 13(5): 857 (2021) - [j26]John-Lewis Zinia Zaukuu
Standardized Extraction Techniques for Meat Analysis with the Electronic Tongue: A Case Study of Poultry and Red Meat Adulteration. Sensors 21(2): 481 (2021) - [j25]David Tjandra Nugraha
Near-Infrared Spectroscopy and Aquaphotomics for Monitoring Mung Bean (Vigna radiata) Sprout Growth and Validation of Ascorbic Acid Content. Sensors 21(2): 611 (2021) - [c27]Zoltán Kovács, Róbert Vajda:
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities. CICM Workshops 2021 - [c26]Zoltán Kovács, Jonathan H. Yu:
Automated Discovery of Geometrical Theorems in GeoGebra. ThEdu@CADE 2021: 1-12 - [c25]Zoltán Kovács, Róbert Vajda:
Symbolic Comparison of Geometric Quantities in GeoGebra. ThEdu@CADE 2021: 13-25 - [c24]Alexander Thaller, Zoltán Kovács:
Online Generation of Proofs Without Words. ADG 2021: 103-105 - [c23]Zoltán Kovács, Tomás Recio
GeoGebra Discovery in Context. ADG 2021: 141-147 - [c22]Christopher W. Brown, Zoltán Kovács, Róbert Vajda:
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. ADG 2021: 156-166 - [c21]Zoltán Kovács, Róbert Vajda:
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. ADG 2021: 167-172 - [e2]Predrag Janicic, Zoltán Kovács:
Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. EPTCS 352, 2021 [contents] - 2020
- [j24]Francisco Botana, Zoltán Kovács
Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. 97: 1-2 (2020) - [j23]Zoltán Kovács
Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97: 16-30 (2020) - [j22]Zoltán Kovács
Automated Detection of Interesting Properties in Regular Polygons. Math. Comput. Sci. 14(4): 727-755 (2020) - [j21]Zsanett Bodor
Sensory and Physicochemical Evaluation of Acacia and Linden Honey Adulterated with Sugar Syrup. Sensors 20(17): 4845 (2020) - [j20]Balkis Aouadi
Historical Evolution and Food Control Achievements of Near Infrared Spectroscopy, Electronic Nose, and Electronic Tongue - Critical Overview. Sensors 20(19): 5479 (2020) - [j19]Flora Vitális
Detection and Quantification of Tomato Paste Adulteration Using Conventional and Rapid Analytical Methods. Sensors 20(21): 6059 (2020) - [j18]László Sipos
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): 6768 (2020) - [c20]Róbert Vajda, Zoltán Kovács:
GeoGebra and the realgeom Reasoning Tool. PAAR+SC²@IJCAR 2020: 204-219 - [c19]Zoltán Kovács
"Mathemachines" via LEGO, GeoGebra and CindyJS. CASC 2020: 390-401 - [c18]Vladyslav Bozhynov, Oleksandr Mashchenko, Pavla Urbanová, Zoltán Kovács:
Steps to Visible Aquaphotomics. IWBBIO 2020: 287-297 - [c17]Zoltán Kovács
Merging Maple and GeoGebra Automated Reasoning Tools. MC 2020: 252-267 - [i7]Zoltán Kovács:
Two almost-circles, and two real ones. CoRR abs/2003.11490 (2020) - [i6]Zoltán Kovács, Jonathan H. Yu:
Towards Automated Discovery of Geometrical Theorems in GeoGebra. CoRR abs/2007.12447 (2020)
2010 – 2019
- 2019
- [j17]Zoltán Kovács
Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. 85(2-4): 73-87 (2019) - [j16]Mladen Nikolic, Vesna Marinkovic
Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. 85(2-4): 119-146 (2019) - [j15]Zoltán Kovács, Ákos Orosz, Ferenc Friedler
Synthesis algorithms for the reliability analysis of processing systems. Central Eur. J. Oper. Res. 27(2): 573-595 (2019) - [j14]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): 1067-1082 (2019) - [j13]Zoltán Kovács
Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry. Math. Comput. Sci. 13(1-2): 131-141 (2019) - [j12]Dzsenifer Németh, Gábor Balázs, Hussein G. Daood, Zoltán Kovács
Standard Analytical Methods, Sensory Evaluation, NIRS and Electronic Tongue for Sensing Taste Attributes of Different Melon Varieties. Sensors 19(22): 5010 (2019) - [c16]Zoltán Kovács
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. CICM 2019: 140-154 - [c15]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: 1-4 - [c14]Nuno Baeta
Towards a Geometry Automated Provers Competition. ThEdu@CADE 2019: 93-100 - [e1]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:
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. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - 2018
- [c13]Zoltán Kovács
Discovering Geometry Theorems in Regular Polygons. AISC 2018: 155-169 - [c12]Francisco Botana, Zoltán Kovács
Towards an Automated Geometer. AISC 2018: 215-220 - [c11]Thierry N. Dana-Picard
Automated Determination of Isoptics with Dynamic Geometry. CICM 2018: 60-75 - [c10]Zoltán Kovács
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. CICM 2018: 164-177 - [c9]Zoltán Kovács:
Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools. CICM Workshops 2018 - [i5]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Detecting truth on components. CoRR abs/1802.05875 (2018) - 2017
- [j11]Thierry N. Dana-Picard
Foreword. Math. Comput. Sci. 11(3-4): 251-252 (2017) - [j10]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): 351-361 (2017) - [i4]Zoltán Kovács:
No, This is not a Circle. CoRR abs/1704.08483 (2017) - [i3]Zoltán Kovács, Róbert Vajda:
A note about Euler's inequality and automated reasoning with dynamic geometry. CoRR abs/1708.02993 (2017) - 2016
- [j9]Miguel A. Abánades, Francisco Botana, Zoltán Kovács
Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50(3): 85-88 (2016) - [j8]Nasrin Afsarimanesh
Smart Sensing System for the Prognostic Monitoring of Bone Health. Sensors 16(7): 976 (2016) - [c8]Miguel A. Abánades, Francisco Botana, Zoltán Kovács
Towards the Automatic Discovery of Theorems in GeoGebra. ICMS 2016: 37-42 - [i2]Zoltán Kovács, Csilla Sólyom-Gecse:
GeoGebra Tools with Proof Capabilities. CoRR abs/1603.01228 (2016) - [i1]Francisco Botana, Zoltán Kovács:
New tools in GeoGebra offering novel opportunities to teach loci and envelopes. CoRR abs/1605.09153 (2016) - 2015
- [j7]Francisco Botana
A Singular web service for geometric computations. Ann. Math. Artif. Intell. 74(3-4): 359-370 (2015) - [j6]Martin Jelemenský
Time-optimal operation of multi-component batch diafiltration. Comput. Chem. Eng. 83: 131-138 (2015) - [j5]Francisco Botana
Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55(1): 39-59 (2015) - [p2]Zoltán Kovács
Giac and GeoGebra - Improved Gröbner Basis Computations. Computer Algebra and Polynomials 2015: 126-138 - 2014
- [c7]Zoltán Kovács
The Relation Tool in GeoGebra 5. ADG 2014: 53-71 - 2013
- [c6]Martin Jelemenský
Economically optimal control of batch diafiltration processes. CCA 2013: 734-739 - [c5]Martin Jelemenský, Radoslav Paulen, Miroslav Fikar
Multi-objective optimal control of ultrafiltration/diafiltration processes. ECC 2013: 3384-3389 - 2012
- [c4]Zoltán Kovács
Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue. PerMIn 2012: 180-186
2000 – 2009
- 2009
- [c3]Gábor Marosy, Zoltán Kovács, Gyula Horváth:
Effective mars rover platform design with Hardware / Software co-design. DDECS 2009: 148-151 - [c2]Zoltán Kovács, Noémi Szalai:
Logistikmanagement der Produktauslaufphase: Ansätze zur Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept. PBFT 2009: 245-256 - 2008
- [j4]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): 379-390 (2008) - [c1]Zsolt Tibor Kosztyán
Treating measurement uncertainty in complete conformity control system. SCSS (1) 2008: 79-84 - 2006
- [j3]József Tick, Zoltán Kovács, Ferenc Friedler:
Synthesis of Optimal Workflow Structure. J. Univers. Comput. Sci. 12(9): 1385-1392 (2006)
1990 – 1999
- 1999
- [j2]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): 251-261 (1999) - 1997
- [p1]Thomas Hermann, Zoltán Kovács, Tamás Várady:
Special Applications in Surface Fitting. Geometric Modeling 1997: 14-31
1980 – 1989
- 1981
- [j1]Zoltán Kovács, István Mezey:
Fortran Program to determine diffusion constants. Comput. Chem. 5(2-3): 73-77 (1981)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: