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:
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- The Open Problems Project☆37Updated last month
- A LaTeX Typesetting Game☆252Updated 3 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 4 months ago
- A toy Wolfram language interpreter.☆36Updated 8 months ago
- Tool for euclidean geometry aware of logic☆86Updated last year
- 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
- ☆23Updated last week
- A GUI frontend for Manim☆22Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆86Updated this week
- multilingual dictionary of mathematical terminology☆19Updated last week
- Tag-based webview of LaTeX documents☆30Updated last year
- Applets about Calculus☆37Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A self-hosted remote communication system designed for math discussions.☆40Updated 4 years ago
- Metamath verifier in Python☆40Updated last month
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- FOLD file format for origami models, crease patterns, etc.☆342Updated last year
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆42Updated 8 years ago
- Used to make: https://youtu.be/n7JK4Ht8k8M☆135Updated 2 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- A static site generator which supports markdown with LaTeX.☆18Updated last year
- www☆16Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated last week
- A web application to visualize complex mappings.☆30Updated 8 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…☆105Updated this week