coulbois / sage-train-track
Free group automorphisms and train-track representative in python/sage
☆10Updated 5 months ago
Alternatives and similar repositories for sage-train-track:
Users that are interested in sage-train-track are comparing it to the libraries listed below
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 10 years ago
- Deposited packages of the homalg project☆13Updated last month
- Jupyter wrapper kernel for singular☆10Updated 7 months ago
- collaboration on work in progress☆15Updated 13 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated last week
- Mathematical stories☆13Updated 4 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 4 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated last month
- Combinatorial species in HoTT☆12Updated 9 years ago
- CAP project -- Categories, Algorithms, and Programming☆25Updated 3 weeks ago
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated 7 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Jupyter kernels for GAP☆12Updated 6 years ago
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 5 months ago
- Julia interface to GAlgebra via PyCall☆15Updated this week
- Correctly-rounded mathematical functions for Julia☆8Updated last month
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- GluCat: Clifford algebra templates☆19Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A collection of special mathematical functions☆35Updated 8 months ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- A textual front end to Mathematica.☆12Updated 5 years ago
- C++ library for semigroups and monoids☆45Updated this week
- A verified tensor library in Lean☆20Updated this week
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Symbolic logic expressions☆14Updated 4 years ago