cseed / knotkit
knot theory and computational algebra software
☆37Updated 10 years ago
Alternatives and similar repositories for knotkit:
Users that are interested in knotkit are comparing it to the libraries listed below
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A system for computational category theory and applications☆38Updated 8 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last week
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last month
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 weeks ago
- A program for drawing knots and links, with support for importing images☆31Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 8 months ago
- Awesome Geometric Algebra☆27Updated 4 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Exploring the Klein Quartic's geometry.☆28Updated last year
- Library for exact real number computations☆39Updated 10 years ago
- A proof assistant.☆12Updated 9 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Homebrew tap for GAP☆14Updated 10 months ago
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- Various Futhark benchmark programs☆42Updated last month
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- DeepAlgebra☆25Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago