Discover kovzol/degen-atpg Open Source project

Stars
1
Language
Created over 3 years ago
Updated over 3 years ago

kovzol

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

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

Java-Geometry-Expert

Java Geometry Expert

Java

bibref

A tool that helps discovering internal references in the Bible

C++

geogebra-discovery

GeoGebra Discovery

Shell

lxx

Find citations of the Septuagint in the Greek New Testament

C++

gg-art-doc

GeoGebra Automated Reasoning Tools – A Tutorial

TeX

aris

GNU Aris (fork)

geogebra

GeoGebra trunk (testing)

Java

realgeom

Real geometry tools

Java

lsp2js

A Lisp to Javascript converter for command line compilations

JavaScript

tank

Simple tank game written in Python/PyGame

Python

Towards an Automated Geometer

HTML

groebner-solitaire

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

HTML

RegularNGons

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

HTML

giac-electron-example

A minimal example on embedding Giac in an Electron application

JavaScript

voiceover

Voice-over translator for SRT subtitles

Shell

GeoThms2ggb

Convert the GeoThms database to GeoGebra files

Yacc

lego-linkages

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

HTML

kovzol/degen-atpg

kovzol

Reviews

Repository Details

More Repositories