edgarcosta / endomorphisms
Rigorous computation of the endomorphism ring of a Jacobian
☆10Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for endomorphisms
- Proof assistant for qRHL☆18Updated 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
- ☆12Updated last year
- Successor to PolyBoRi☆17Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 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…☆20Updated 2 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last month
- Circuits for functions of interest to cryptography☆27Updated 9 months ago
- DEciding Equivalence Properties in SECurity protocols☆17Updated last year
- 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
- An encyclopedia of proofs☆57Updated last week
- Lecture notes on the Foundations of Isogeny-based Cryptography☆27Updated 2 months ago
- knot theory and computational algebra software☆35Updated 10 years ago
- Quantum implementation of elliptic curve primitives☆29Updated 2 years ago
- Super Amazing Universal Composability, Yeah!☆33Updated 2 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- ☆21Updated 2 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Matroids in Lean☆18Updated 10 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- LODA Programs for Integer Sequences☆31Updated this week
- A system for computational category theory and applications☆35Updated 8 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- SageMath implementation of the Isogeny-Based PKE FESTA☆8Updated last year
- A polymorphic interface for elliptic curve operations☆41Updated last year
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Reference repository on Lattice-based Cryptography☆22Updated last month