Seitenbereiche:



Menü des aktuellen Bereichs:

Zusatzinformationen:

Veranstaltungen

Náboj 2016

Hier einige Impressionen vom spannenden Wettbewerb.

Hier einige Impressionen vom spannenden Wettbewerb. ...  mehr zu Náboj 2016 (Titel)

Math Eyes

Math Eyes

MATH EYES - die Welt mit mathematischen Augen sehen ...  mehr zu Math Eyes (Titel)


Positionsanzeige:

Inhalt:

Zoltán Kovács

Mag. Dr. Zoltán Kovács

Mag. Dr. Zoltán Kovács (Zum Team)
Univ.-Assistent, PPHDL

Altenberger Str. 54
Tel.: +43 732 2468 6881
zoltan(/\t)geogebra.org

Tab-Navigation zu zugehörigen Informationen

Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift

Botana F., Kovács Z.
A Singular web service for geometric computations, in: Annals of Mathematics and Artificial Intelligence, Page(s) 1--12, 2014.
Hohenwarter M., Kovács Z., Ancsin G.
GeoGebra goes mobile, in: The electrocic journal of mathematics and technology, Volume 5, Number 2, 2011.
Kovács Z.
WM12, the student´s on-line symbolic calculator, in: International Journal of Mathematics Education in Science and Technology, Volume 42, Number 2, 2011.

Publikationstyp: Aufsatz / Paper in sonstiger referierter Fachzeitschrift

Kovács Z.
Az epszilon-delta játék és a sakk, in: Polygon XXIV, Number 1, Page(s) 53-58, 2016.
Abánades M., Botana F., Kovács Z., Recio T., Sólyom-Gecse C.
Development of Automatic Reasoning Tools in GeoGebra, in: ACM Commun. Comput. Algebra, Volume 50, Number 3, Page(s) 85-88, 2016.
Botana F., Hohenwarter M., Janičić P., Kovács Z., Petrović I., Recio T., Weitzhofer S.
Automated Theorem Proving in GeoGebra: Current Achievements, in: Journal of Automated Reasoning, Volume 55, Number 1, Page(s) 39-59, 2015.
Kovács Z.
The portfolio prover in GeoGebra 5, in: Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), Page(s) 191--205, 2014.
Hohenwarter M., Kovács Z., Ancsin G.
GeoGebra goes Web, in: The electronic journal of mathematics and technology, 2013.

Publikationstyp: Aufsatz / Paper in nicht-referierter Fachzeitschrift

Kovács Z., Pék M.
The Fermat-Pascal-Carcavy correspondence, in: Polygon, Volume XIX, Number 2, 2011.

Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)

Kovács Z., Recio T., Sólyom-Gecse C.
Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers, in: Julien Narboux; Pascal Schreck; Elena Streinu (Eds.): Proceedings of ADG 2016, Page(s) 137-143, 2016.
Abánades M., Botana F., Kovács Z., Recio T., Sólyom-Gecse C.
Implementing Automatic Discovery in GeoGebra, in: Julien Narboux; Pascal Schreck; Elena Streinu (Eds.): Proceedings of ADG 2016, Page(s) 23-32, 2016.
Marinkovic V., Nikolic M., Kovács Z., Janicic P.
Portfolio Methods in Theorem Proving for Elementary Geometry, in: Julien Narboux, Schreck Pascal, Ileana Streinu (Eds.): Proceedings of ADG 2016, Page(s) 152-161, 2016.
Abánades M., Botana F., Kovács Z., Recio T., Sólyom-Gecse C.
Towards the Automatic Discovery of Theorems in GeoGebra, in: Gert-Martin Greuel; Thorsten Koch; Peter Paule; Andrew Sommese (Eds.): Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Page(s) 37-42, Springer, 2016.

Publikationstyp: Aufsatz / Paper in Tagungsband (nicht-referiert)

Kovács Z., Weitzhofer S., Recio T.
Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases, in: Universidad de Alcala (Eds.): Proceedings EACA 2012, 2012.
Kovács Z., Weitzhofer S., Botana F.
Implementing theorem proving in GeoGebra by using a Singular webservice, in: Universidad de Alcala (Eds.): Proceedings EACA 2012, 2012.

Publikationstyp: Aufsatz / Paper in Sammelwerk (referiert)

Kovács Z., Parisse B.
Giac and GeoGebra – Improved Gröbner Basis Computations, in: Gutierrez, Jaime and Schicho, Josef and Weimann, Martin (Eds.): Computer Algebra and Polynomials, Series Lecture Notes in Computer Science, Page(s) 126-138, Springer International Publishing, 2015.
Kovács Z.
The Relation Tool in GeoGebra 5, in: Botana, Francisco and Quaresma, Pedro (Eds.): Automated Deduction in Geometry, Series Lecture Notes in Computer Science, Volume 9201, Page(s) 53-71, Springer International Publishing, 2015.

Publikationstyp: Aufsatz / Paper in Sammelwerk (nicht-referiert)

Kovács Z.
Understanding convergence and stability of the Newton-Raphson method, in: Vajda Róbert, Karsai János (Eds.): Interesting Mathematical Problems in Sciences and Everyday life, 2011.

Publikationstyp: Dissertation

Kovács Z.
Computer Based Conjectures and Proofs in Teaching Euclidean Geometry, JKU, 2015.