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
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Riemann Hypothesis book☆74Updated 7 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆33Updated 10 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last week
- Successor to PolyBoRi☆19Updated 4 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 7 months ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 2 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- Homebrew tap for GAP☆14Updated 10 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Naive Bayesian Classifier written in APL☆23Updated 7 years ago
- Awesome Geometric Algebra☆26Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- GluCat: Clifford algebra templates☆20Updated last month
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- 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
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆26Updated 5 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago