kovzol/bibref

Stars
19
Rank 1,163,249 (Top 23 %)
Language
C++
Created over 5 years ago
Updated about 2 months ago

kovzol/bibref

kovzol

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

A tool that helps discovering internal references in the Bible

Java-Geometry-Expert

Java Geometry Expert

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

ag

Towards an Automated Geometer

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