coulbois / sage-train-track
Free group automorphisms and train-track representative in python/sage
☆9Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for sage-train-track
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 9 years ago
- Deposited packages of the homalg project☆12Updated last week
- Symbolic logic expressions☆14Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Mathematical stories☆13Updated 3 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- CHomP -- Computation Homology Project software☆46Updated 9 months ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 11 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- A formalization of synthetic algebraic geometry in Agda☆13Updated 5 years ago
- Disciplined Convex Programming in Haskell☆22Updated 8 months ago
- A verified tensor library in Lean☆12Updated this week
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Correctly-rounded mathematical functions for Julia☆8Updated last year
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 3 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 2 months ago
- A TypeChecker for Julia☆69Updated 10 years ago
- GluCat: Clifford algebra templates☆19Updated 3 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆21Updated 2 years ago
- Some benchmarks of SymPy☆13Updated last week
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆16Updated 7 years ago