3-manifolds / fix_mac_sage
☆18Updated 3 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
- Dockerfiles for Sage☆52Updated 5 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
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 10 months ago
- Successor to PolyBoRi☆19Updated 3 months ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- ☆13Updated 3 years ago
- Tools for creating binary tarballs☆14Updated 3 years ago
- Analysis and generation of substitutions☆23Updated 2 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated last year
- Python code to implement various number theory, elliptic curve and finite field computations.☆99Updated 3 years ago
- SageMath as a macOS application bundle.☆181Updated this week
- Attacks on Jarvis and Friday☆10Updated 5 years ago
- An educational SAT solver written in Rust☆12Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 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
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- 🍒 A massif (Valgrind) extension to analyze partial memory consumptions☆22Updated 8 years ago
- FactorDB client library with Python☆52Updated last year
- Robert Munafo's reverse equation solver☆13Updated 2 years ago
- ctfs-2020☆17Updated 5 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Updated 8 years ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆11Updated 3 months ago
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆42Updated last year
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆17Updated 9 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 4 years ago
- ☆14Updated 4 years ago