joshuahhh / knot-identification-tool
JavaScript knot drawing and identification tool
☆8Updated 8 years ago
Alternatives and similar repositories for knot-identification-tool:
Users that are interested in knot-identification-tool are comparing it to the libraries listed below
- A program for drawing knots and links, with support for importing images☆31Updated last year
- DeepAlgebra☆25Updated 7 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago
- metamath proof enumerators and other things☆92Updated 9 months ago
- sorear's Metamath system engine☆13Updated 8 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Linear algebra visualizations☆12Updated 3 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- multilingual dictionary of mathematical terminology☆19Updated 5 months ago
- Our first-year mathematics graduate school notes☆9Updated 3 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- A textbook for Conway's Game of Life.☆34Updated 3 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆55Updated 6 years ago
- Read without moving your eyes.☆28Updated 10 years ago
- ☆162Updated 5 years ago
- Real number computation software☆123Updated 2 years ago
- Exponent pair database☆46Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆205Updated last week
- Transfinite ordinal arithmetic and factorisation up to epsilon-zero☆14Updated 3 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated 2 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆79Updated this week
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- A computer algebra system for research in combinatorial game theory☆39Updated 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 3 years ago
- A Python implementation of a polynomial library and Buchberger's Algorithm☆22Updated 4 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- An interactive theorem prover for string diagrams☆113Updated 6 months ago