Zoltán Kovács

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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

Synthesis algorithms for the reliability analysis of processing systems.
CEJOR, 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

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
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

2017
Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations.
Mathematics in Computer Science, 2017

Foreword.
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

2016
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 Comm. Computer Algebra, 2016

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

2015
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.
Computers & Chemical Engineering, 2015

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

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

2013
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

2012
Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue.
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

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

2008
Heuristic algorithms for a complex parallel machine scheduling problem.
CEJOR, 2008

2006
Synthesis of Optimal Workflow Structure.
J. UCS, 2006

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

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

1981
Fortran Program to determine diffusion constants.
Computers & Chemistry, 1981


  Loading...