Zoltán Kovács
Orcid: 0000-0003-2512-5793
According to our database1,
Zoltán Kovács
authored at least 83 papers
between 1981 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Multicommodity network flow model of a human resource allocation problem considering time periods.
Central Eur. J. Oper. Res., December, 2024
J. Symb. Comput., 2024
A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic.
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024
2023
Ann. Math. Artif. Intell., December, 2023
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra, June, 2023
Math. Comput. Sci., March, 2023
Application of Near Infrared Spectroscopy to Monitor the Quality Change of Sour Cherry Stored under Modified Atmosphere Conditions.
Sensors, 2023
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023
2022
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Math. Comput. Sci., 2022
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.
Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022
2021
Standardized Extraction Techniques for Meat Analysis with the Electronic Tongue: A Case Study of Poultry and Red Meat Adulteration.
Sensors, 2021
Near-Infrared Spectroscopy and Aquaphotomics for Monitoring Mung Bean (Vigna radiata) Sprout Growth and Validation of Ascorbic Acid Content.
Sensors, 2021
Validation of Visually Interpreted Corine Land Cover Classes with Spectral Values of Satellite Images and Machine Learning.
Remote. Sens., 2021
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
2020
Detection and Quantification of Tomato Paste Adulteration Using Conventional and Rapid Analytical Methods.
Sensors, 2020
Classification of Bee Pollen and Prediction of Sensory and Colorimetric Attributes - A Sensometric Fusion Approach by e-Nose, e-Tongue and NIR.
Sensors, 2020
Sensory and Physicochemical Evaluation of Acacia and Linden Honey Adulterated with Sugar Syrup.
Sensors, 2020
Historical Evolution and Food Control Achievements of Near Infrared Spectroscopy, Electronic Nose, and Electronic Tongue - Critical Overview.
Sensors, 2020
Math. Comput. Sci., 2020
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020
Proceedings of the Bioinformatics and Biomedical Engineering, 2020
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
2019
Standard Analytical Methods, Sensory Evaluation, NIRS and Electronic Tongue for Sensing Taste Attributes of Different Melon Varieties.
Sensors, 2019
Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry.
Math. Comput. Sci., 2019
Efficiency of local minima and GLM techniques in sinkhole extraction from a LiDAR-based terrain model.
Int. J. Digit. Earth, 2019
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019
Central Eur. J. Oper. Res., 2019
Ann. Math. Artif. Intell., 2019
Ann. Math. Artif. Intell., 2019
Individual Tree Species Classification Using Airborne Hyperspectral Imagery And Lidar Data.
Proceedings of the 10th Workshop on Hyperspectral Imaging and Signal Processing: Evolution in Remote Sensing, 2019
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
2018
Proceedings of the Joint Proceedings of the CME-EI, 2018
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations.
Math. Comput. Sci., 2017
CoRR, 2017
2016
CoRR, 2016
ACM Commun. Comput. Algebra, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
2015
Proceedings of the Computer Algebra and Polynomials, 2015
Comput. Chem. Eng., 2015
2014
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014
2013
Proceedings of the 12th European Control Conference, 2013
Proceedings of the IEEE International Conference on Control Applications, 2013
2012
Proceedings of the Perception and Machine Intelligence - First Indo-Japan Conference, 2012
2009
Logistikmanagement der Produktauslaufphase: Ansätze zur Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept.
Proceedings of the Nachhaltigkeit in flexiblen Produktions- und Liefernetzwerken, 2009
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009
2008
Central Eur. J. Oper. Res., 2008
Proceedings of the Innovations and Advances in Computer Sciences and Engineering, 2008
2006
1999
1997
Proceedings of the Geometric Modeling: Theory and Practice, 1997
1981