kovzol/ag

Stars
2
Language
HTML
Created over 6 years ago
Updated 9 months ago

kovzol/ag

kovzol

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Towards an Automated Geometer

Java-Geometry-Expert

Java Geometry Expert

bibref

A tool that helps discovering internal references in the Bible

geogebra-discovery

GeoGebra Discovery

lxx

Find citations of the Septuagint in the Greek New Testament

gg-art-doc

GeoGebra Automated Reasoning Tools – A Tutorial

aris

GNU Aris (fork)

geogebra

GeoGebra trunk (testing)

realgeom

Real geometry tools

lsp2js

A Lisp to Javascript converter for command line compilations

tank

Simple tank game written in Python/PyGame

groebner-solitaire

A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]

degen-atpg

Supplementary data for the project "Dealing with Degeneracies in Automated Theorem Proving in Geometry"

RegularNGons

Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon

giac-electron-example

A minimal example on embedding Giac in an Electron application

voiceover

Voice-over translator for SRT subtitles

GeoThms2ggb

Convert the GeoThms database to GeoGebra files

lego-linkages

A collection of simple LEGO linkages that can follow a prescribed motion