edgarcosta / endomorphisms
Rigorous computation of the endomorphism ring of a Jacobian
☆10Updated this week
Alternatives and similar repositories for endomorphisms:
Users that are interested in endomorphisms are comparing it to the libraries listed below
- Successor to PolyBoRi☆19Updated 3 months ago
- Proof assistant for qRHL☆20Updated last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- sorear's Metamath system engine☆13Updated 8 years ago
- ☆14Updated last year
- 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 2 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- A polymorphic interface for elliptic curve operations☆41Updated last year
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 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 3 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- ☆22Updated 2 years ago
- An encyclopedia of proofs☆58Updated 4 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Deposited packages of the homalg project☆13Updated 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
- Matroids in Lean☆18Updated last year
- A system for computational category theory and applications☆38Updated 8 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 6 months ago
- ☆11Updated last year
- ☆23Updated last year
- lean-related presentations☆16Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- ☆30Updated 2 years ago