dmsm / scissors-congruence
An interactive demonstration of the Wallace–Bolyai–Gerwien theorem.
☆82Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for scissors-congruence
- This is a Coloring Book about Group Theory☆87Updated last year
- A LaTeX Typesetting Game☆243Updated this week
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- FOLD file format for origami models, crease patterns, etc.☆314Updated 10 months ago
- A web application to visualize complex mappings.☆29Updated 8 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆24Updated 4 years ago
- A geometry game based on Euclid's Elements.☆448Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- Danielle Wang's fold-and-cut implementation (6.849 2017 final project)☆18Updated 4 years ago
- Notes on Diffy Qs, a textbook for differential equations☆59Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆156Updated 8 months ago
- A new way to write and explore mathematical texts.☆23Updated 7 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆12Updated 4 years ago
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- A toy Wolfram language interpreter.☆34Updated 3 weeks ago
- A GUI frontend for Manim☆22Updated last year
- This repo contains simple physics simulations☆199Updated 5 years ago
- Super-complex origami design made easy!☆60Updated last week
- A computational origami tool for generating crease patterns from tree diagrams☆42Updated last year
- www☆15Updated 10 months ago
- Render tikzcd diagrams with JSX.☆59Updated 4 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Natural Number Game☆114Updated 2 weeks ago
- Code dump, for now☆24Updated last year
- VSCode extension for Metamath☆10Updated last month
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- A textbook for Conway's Game of Life.☆32Updated 2 years ago
- Group theory visualization software in the browser☆228Updated 8 months ago
- Complex Analysis: A Visual and Interactive Introduction☆163Updated this week