cseed / knotkitLinks
knot theory and computational algebra software
☆37Updated 11 years ago
Alternatives and similar repositories for knotkit
Users that are interested in knotkit are comparing it to the libraries listed below
Sorting:
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- A system for computational category theory and applications☆39Updated 9 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Deposited packages of the homalg project☆15Updated 3 months ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 3 weeks ago
- Library for rigorous verification of non-linear arithmetic☆114Updated last year
- C++ library for semigroups and monoids☆47Updated this week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated 3 weeks ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 11 months ago
- GluCat: Clifford algebra templates☆21Updated 4 months ago
- Exploring the Klein Quartic's geometry.☆28Updated last year
- Description and analysis of some mathematical/physics phenomena by using simulation☆18Updated last year
- Modifications of Niles Johnson's Hopf Fibration drawing code☆36Updated 10 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆23Updated last month
- Real number computation software☆126Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 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 4 years ago
- Haskell bindings to SymEngine☆27Updated last year