Zoltán Kovács

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

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


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

Two almost-circles, and two real ones.
CoRR, 2020

Steps to Visible Aquaphotomics.
Proceedings of the Bioinformatics and Biomedical Engineering, 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.
Mathematics in Computer Science, 2019

Efficiency of local minima and GLM techniques in sinkhole extraction from a LiDAR-based terrain model.
Int. J. Digital 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.
Mathematics in Computer Science, 2017

Mathematics in Computer Science, 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. Reasoning, 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 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

Synthesis of Optimal Workflow Structure.
J. UCS, 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