3-manifolds / fix_mac_sageLinks
☆18Updated 4 years ago
Alternatives and similar repositories for fix_mac_sage
Users that are interested in fix_mac_sage are comparing it to the libraries listed below
Sorting:
- Dockerfiles for Sage☆52Updated 6 years ago
- SageMath as a macOS application bundle.☆227Updated this week
- Jupyter Kernel for Mathics☆20Updated 9 years ago
- Tools for creating binary tarballs☆16Updated 4 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆103Updated 4 years ago
- Analysis and generation of substitutions☆25Updated 3 months ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 3 months ago
- A Binder repo for SageMath computing environment☆37Updated this week
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Updated 2 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- ☆12Updated 10 years ago
- ☆12Updated 4 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆28Updated last year
- GAP package guava - computations relative to error-correcting codes☆18Updated 2 weeks ago
- Robert Munafo's reverse equation solver☆19Updated 2 years ago
- "A First Course in Linear Algebra" open source textbook☆69Updated 2 months ago
- A Sage interface for FGb (Gröbner basis computations)☆39Updated last year
- Implementation of https://eprint.iacr.org/2021/232☆94Updated 4 years ago
- An educational SAT solver written in Rust☆13Updated 2 years ago
- Successor to PolyBoRi☆22Updated 3 months ago
- A Python3 Implementation of LLL☆36Updated 4 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 weeks ago
- Jupyter notebooks for Wolfram Language Scripts☆14Updated 6 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- A tool for proving and organizing general theorems using Python.☆31Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated last week
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated last week
- ☆15Updated 5 years ago