Name: Zoltán Kovács
Type: User
Company: The Private University College of Education of the Diocese of Linz
Bio: Assistant professor at The Private University College of Education of the Diocese of Linz, Institute of Initial Teacher Training (Austria)
Location: Linz, Austria
Blog: https://matek.hu/zoltan
Zoltán Kovács's Projects
Towards an Automated Geometer
GNU Aris (fork)
Battle for the Ring
Bunning Heuristic Prototype Greek New Testament
A tool that helps discovering internal references in the Bible
Explain Buchberger's algorithm by using Singular as a backend
A minimalist chess game
Chomp (ein Spiel mit dem vergifteten Schokoladenstück)
Eine Implementation für das Chomp-Spiel gegen künstliche Intelligenz
Chomp in PyGgb
A JavaScript framework for interactive (mathematical) content.
Unofficial Git mirror of the Sword library SVN. Pull requests are not accepted.
Csőamőba (a variant of the game "Connect 4")
Supplementary data for the project "Dealing with Degeneracies in Automated Theorem Proving in Geometry"
Computer Based Conjectures and Proofs in Teaching Euclidean Geometry
Diskrete Mathematik Übungen mit Lösungen (Wintersemester 2017/18)
Issue tracker and new submissions
Formula Converter
Groebner basis tests
GeoGebra Discovery Automated Reasoning Tools – A Tutorial
GeoGebra trunk (testing)
GeoGebra Discovery
Examples on how to embed GeoGebra applets in a web page
Convert GeoGebra books from HTML format to LaTeX/PDF
Convert the GeoThms database to GeoGebra files
GeoGebra Automated Reasoning Tools – A Tutorial
A set of scripts that help manipulating GeoGebra's .ggb files
Experimental version of the computer algebra system Giac
A minimal example on embedding Giac in an Electron application