dmsm / scissors-congruenceLinks
An interactive demonstration of the Wallace–Bolyai–Gerwien theorem.
☆83Updated 5 years ago
Alternatives and similar repositories for scissors-congruence
Users that are interested in scissors-congruence are comparing it to the libraries listed below
Sorting:
- A LaTeX Typesetting Game☆256Updated 5 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- This is a Coloring Book about Group Theory☆88Updated 2 years ago
- A toy Wolfram language interpreter.☆35Updated 11 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- The Open Problems Project☆39Updated 3 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- FOLD file format for origami models, crease patterns, etc.☆348Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated 2 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆420Updated 4 years ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆97Updated this week
- A web application to visualize complex mappings.☆31Updated 8 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- ☆24Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- Group theory visualization software in the browser☆255Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Algebra Number Theory book☆48Updated 3 years ago
- A massive collaborative rube goldberg machine.☆238Updated last year
- realhats LaTeX package☆116Updated 2 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆63Updated last year
- Python implementation of the monster group☆53Updated last month
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆166Updated last year
- Applets about Calculus☆38Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago