Zoltán Kovács

According to our database1, Zoltán Kovács authored at least 58 papers between 1981 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


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

Two almost-circles, and two real ones.
Math. Comput. Sci., 2021

A Mechanical Geometer.
Math. Comput. Sci., 2021

XaoS 4.0 and Beyond: Fractals in Mathematics Education.
Math. Comput. Sci., 2021

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

Automated Detection of Interesting Properties in Regular Polygons.
Math. Comput. Sci., 2020

Reasoning about linkages with dynamic geometry.
J. Symb. Comput., 2020

Special issue on dynamic geometry and automated reasoning.
J. Symb. Comput., 2020

Towards Automated Discovery of Geometrical Theorems in GeoGebra.
CoRR, 2020

Merging Maple and GeoGebra Automated Reasoning Tools.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

Steps to Visible Aquaphotomics.
Proceedings of the Bioinformatics and Biomedical Engineering, 2020

"Mathemachines" via LEGO, GeoGebra and CindyJS.
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

GeoGebra and the <i>realgeom</i> Reasoning Tool.
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

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

Towards a Geometry Automated Provers Competition.
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

Synthesis algorithms for the reliability analysis of processing systems.
Central Eur. J. Oper. Res., 2019

Portfolio theorem proving and prover runtime prediction for geometry.
Ann. Math. Artif. Intell., 2019

Rewriting input expressions in complex algebraic geometry provers.
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

Detecting truth on components.
CoRR, 2018

Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools.
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

Automated Determination of Isoptics with Dynamic Geometry.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Discovering Geometry Theorems in Regular Polygons.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

Towards an Automated Geometer.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations.
Math. Comput. Sci., 2017

Math. Comput. Sci., 2017

A note about Euler's inequality and automated reasoning with dynamic geometry.
CoRR, 2017

No, This is not a Circle.
CoRR, 2017

Smart Sensing System for the Prognostic Monitoring of Bone Health.
Sensors, 2016

GeoGebra Tools with Proof Capabilities.
CoRR, 2016

New tools in GeoGebra offering novel opportunities to teach loci and envelopes.
CoRR, 2016

Development of automatic reasoning tools in GeoGebra.
ACM Commun. Comput. Algebra, 2016

Towards the Automatic Discovery of Theorems in GeoGebra.
Proceedings of the Mathematical Software - ICMS 2016, 2016

Giac and GeoGebra - Improved Gröbner Basis Computations.
Proceedings of the Computer Algebra and Polynomials, 2015

Automated Theorem Proving in GeoGebra: Current Achievements.
J. Autom. Reason., 2015

Time-optimal operation of multi-component batch diafiltration.
Comput. Chem. Eng., 2015

A Singular web service for geometric computations.
Ann. Math. Artif. Intell., 2015

The Relation Tool in GeoGebra 5.
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

Multi-objective optimal control of ultrafiltration/diafiltration processes.
Proceedings of the 12th European Control Conference, 2013

Economically optimal control of batch diafiltration processes.
Proceedings of the IEEE International Conference on Control Applications, 2013

Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue.
Proceedings of the Perception and Machine Intelligence - First Indo-Japan Conference, 2012

Logistikmanagement der Produktauslaufphase: Ansätze zur Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept.
Proceedings of the Nachhaltigkeit in flexiblen Produktions- und Liefernetzwerken, 2009

Effective mars rover platform design with Hardware / Software co-design.
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

Heuristic algorithms for a complex parallel machine scheduling problem.
Central Eur. J. Oper. Res., 2008

Treating measurement uncertainty in complete conformity control system.
Proceedings of the Innovations and Advances in Computer Sciences and Engineering, 2008

Synthesis of Optimal Workflow Structure.
J. Univers. Comput. Sci., 2006

On Merging Reduction of the Process Network Synthesis Problem.
Acta Cybern., 1999

Special Applications in Surface Fitting.
Proceedings of the Geometric Modeling: Theory and Practice, 1997

Fortran Program to determine diffusion constants.
Comput. Chem., 1981