dmsm / scissors-congruenceLinks
An interactive demonstration of the Wallace–Bolyai–Gerwien theorem.
☆85Updated 6 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:
- This is a Coloring Book about Group Theory☆90Updated 2 years ago
- Applets about Calculus☆38Updated last year
- A LaTeX Typesetting Game☆258Updated 7 months ago
- Group theory visualization software in the browser☆260Updated last year
- Cocreate Shared Whiteboard/Drawing☆218Updated 5 months ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆423Updated 5 years ago
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆166Updated last year
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A self-hosted remote communication system designed for math discussions.☆40Updated 4 years ago
- The Principia Rewrite☆228Updated 9 months ago
- Catalog of visual lambda calculi☆158Updated 4 months ago
- Multiroom meeting app integrating web tools☆46Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- Python implementation of the monster group☆54Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- realhats LaTeX package☆115Updated 2 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16Updated 5 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 2 months ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- Plugin for Sublime for inserting unicode math symbols and emoji☆129Updated last year
- Non-euclidean Rubik's Cube Analogues☆89Updated last month
- A toy Wolfram language interpreter.☆35Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- Algebra Number Theory book☆48Updated 3 years ago