dmsm / scissors-congruence
An interactive demonstration of the Wallace–Bolyai–Gerwien theorem.
☆82Updated 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
- A toy Wolfram language interpreter.☆35Updated 3 months ago
- A LaTeX Typesetting Game☆242Updated last week
- A program for drawing knots and links, with support for importing images☆29Updated last year
- A place to draft the answers for the tetris PPCG challenge☆31Updated 7 years ago
- This is a Coloring Book about Group Theory☆88Updated 2 years ago
- The Open Problems Project☆26Updated last month
- A web application to visualize complex mappings.☆30Updated 8 years ago
- Python Based Domain Coloring☆34Updated 5 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- Interactive Mandelbrot set renderer/explorer for your terminal.☆30Updated 12 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆94Updated last week
- The Math of Card Shufflig☆38Updated 2 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆69Updated last year
- Quickly look up LaTeX symbols! https://latex.guide☆145Updated 2 years ago
- Julia interface to GAlgebra via PyCall☆15Updated this week
- Metamath verifier in Python☆36Updated 9 months ago
- Extend GitHub pages with math, graphs etc.☆95Updated last week
- Riemann Hypothesis book☆74Updated 7 years ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- Drawing cohomology fractals with the GPU.☆50Updated last year
- The ??? Programming Language☆21Updated 6 years ago
- Explore Earth's species and the relationships between them easily.☆33Updated 4 years ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆56Updated this week
- source code for math gifs posted to twitter☆127Updated 4 years ago
- FOLD file format for origami models, crease patterns, etc.☆322Updated last year
- A code-golf language written in Mathematica☆20Updated 4 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆12Updated 4 years ago