kovzol

Assistant professor at The Private University College of Education of the Diocese of Linz, Institute of Initial Teacher Training (Austria)

The Private University College of Education of the Diocese of LinzLinz, Austria

Pinned Repositories

aris
GNU Aris (fork)
Language:C9 2 143
bibref
A tool that helps discovering internal references in the Bible
Language:C++20 4 201
geogebra
GeoGebra trunk (testing)
Language:Java6 3 04
geogebra-discovery
GeoGebra Discovery
Language:Shell26 2 65
gg-art-doc
GeoGebra Automated Reasoning Tools – A Tutorial
Language:TeX7 3 00
Java-Geometry-Expert
Java Geometry Expert
Language:Java44 3 3521
lsp2js
A Lisp to Javascript converter for command line compilations
Language:JavaScript3 4 00
lxx
Find citations of the Septuagint in the Greek New Testament
Language:C++11 4 01
realgeom
Real geometry tools
Language:Java3 3 50
tarski
A system for computing with Tarski Formulas / Semi-Algebraic Sets.
Language:SMT3 1 40

kovzol's Repositories

kovzol/Java-Geometry-Expert
Java Geometry Expert
Language:Java44 3 3521
kovzol/geogebra-discovery
GeoGebra Discovery
Language:Shell26 2 65
kovzol/bibref
A tool that helps discovering internal references in the Bible
Language:C++20 4 201
kovzol/aris
GNU Aris (fork)
Language:C9 2 143
kovzol/geogebra
GeoGebra trunk (testing)
Language:Java6 3 04
kovzol/realgeom
Real geometry tools
Language:Java3 3 50
kovzol/tarski
A system for computing with Tarski Formulas / Semi-Algebraic Sets.
Language:SMT3 1 40
kovzol/ag
Towards an Automated Geometer
Language:HTML2 2 01
kovzol/giac-1
Language:C++2 2 00
kovzol/SR
Statistical Restoration Greek New Testament
Language:JavaScript1 1 0
kovzol/XaoS
Real-time interactive fractal zoomer
Language:C++1 2 0
kovzol/amai-2024-243
Supplementary files to the research paper "On automated completion of geometry statements and proofs with GeoGebra Discovery"
kovzol/ba-latex-phdl
LaTeX-Vorlage zur Bachelorarbeit an der PHDL
Language:TeX
kovzol/checkmate
A minimalist chess game
Language:Python
kovzol/chomp
Chomp (ein Spiel mit dem vergifteten Schokoladenstück)
Language:HTML2 0
kovzol/chomp-ki
Eine Implementation für das Chomp-Spiel gegen künstliche Intelligenz
Language:Python2 0
kovzol/chomp.pyggb
Chomp in PyGgb
Language:Python1 0
kovzol/classroom-proofs
A collection of geometry proof files by using automated deduction
kovzol/csoamoba
Csőamőba (a variant of the game "Connect 4")
Language:Pascal2 0
kovzol/flathub
Issue tracker and new submissions
1 0
kovzol/gd-art-doc
GeoGebra Discovery Automated Reasoning Tools – A Tutorial
Language:TeX1 0
kovzol/GeoGebraBook2LaTeX
Convert GeoGebra books from HTML format to LaTeX/PDF
Language:PHP3 0
kovzol/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
Language:Ruby1 0
kovzol/isbtf-lxx-nt-tools
Tools for manipulating the ISBTF LXX-NT database
Language:HTML
kovzol/issac2023-plot2d
Presentation on the Plot2D/plot2d commands in GeoGebra Discovery and Tarski (ISSAC 2023)
Language:TeX2 0
kovzol/logik
Logik für Lehramt Mathematik
Language:Tcl2 0
kovzol/Mandelbrot-Menge-Buch
An illustrative mathematical schoolbook on the Mandelbrot Set
Language:TeX
kovzol/minisat-wasm
Compile MiniSat to WebAssembly using emscripten
Language:C++1 0
kovzol/probability-python
A set of Python self-explaining programs that help learning basics of probability theory
Language:TeX3 0
kovzol/pyggb
Prototype of Python / GeoGebra interoperability
Language:TypeScript1 0