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
ag
Towards an Automated Geometer
aris
GNU Aris (fork)
bibref
A tool that helps discovering internal references in the Bible
geogebra
GeoGebra trunk (testing)
geogebra-discovery
GeoGebra Discovery
gg-art-doc
GeoGebra Automated Reasoning Tools – A Tutorial
Java-Geometry-Expert
Java Geometry Expert
lsp2js
A Lisp to Javascript converter for command line compilations
lxx
Find citations of the Septuagint in the Greek New Testament
realgeom
Real geometry tools
kovzol's Repositories
kovzol/lxx
Find citations of the Septuagint in the Greek New Testament
kovzol/gg-art-doc
GeoGebra Automated Reasoning Tools – A Tutorial
kovzol/lsp2js
A Lisp to Javascript converter for command line compilations
kovzol/groebner-solitaire
A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]
kovzol/tank
Simple tank game written in Python/PyGame
kovzol/degen-atpg
Supplementary data for the project "Dealing with Degeneracies in Automated Theorem Proving in Geometry"
kovzol/GeoThms2ggb
Convert the GeoThms database to GeoGebra files
kovzol/giac-electron-example
A minimal example on embedding Giac in an Electron application
kovzol/lego-linkages
A collection of simple LEGO linkages that can follow a prescribed motion
kovzol/RegularNGons
Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon
kovzol/voiceover
Voice-over translator for SRT subtitles
kovzol/bftr
Battle for the Ring
kovzol/buchberger-singular
Explain Buchberger's algorithm by using Singular as a backend
kovzol/CindyJS
A JavaScript framework for interactive (mathematical) content.
kovzol/diss
Computer Based Conjectures and Proofs in Teaching Euclidean Geometry
kovzol/dmw17
Diskrete Mathematik Übungen mit Lösungen (Wintersemester 2017/18)
kovzol/formconv
Formula Converter
kovzol/gbt
Groebner basis tests
kovzol/geogebra-embedding-examples
Examples on how to embed GeoGebra applets in a web page
kovzol/giac
Experimental version of the computer algebra system Giac
kovzol/isoptics
Experiments on isoptics by dynamic coloring
kovzol/lernstickAdvanced
buildscripts for school centric Debian Live distributions
kovzol/mip
Experiments with MIP
kovzol/qepcad
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
kovzol/sakk
A chess game against the computer
kovzol/singularws
singularws is a set of PHP scripts that offer the Singular computer algebra system as a web service for outsourcing problems in commutative algebra
kovzol/Sources
sources for the Singular computer algebra system