edgarcosta / endomorphisms
Rigorous computation of the endomorphism ring of a Jacobian
☆10Updated 4 months ago
Alternatives and similar repositories for endomorphisms:
Users that are interested in endomorphisms are comparing it to the libraries listed below
- 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 this week
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- ☆13Updated last year
- Successor to PolyBoRi☆18Updated last month
- Proof assistant for qRHL☆18Updated 3 months ago
- ☆22Updated 2 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- Circuits for functions of interest to cryptography☆27Updated 11 months ago
- Matroids in Lean☆18Updated last year
- ☆22Updated last year
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 4 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- A system for computational category theory and applications☆37Updated 8 years ago
- DEciding Equivalence Properties in SECurity protocols☆17Updated last year
- An encyclopedia of proofs☆57Updated 2 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last week
- A Binder repo for SageMath computing environment☆27Updated this week
- 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
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆12Updated this week
- A polymorphic interface for elliptic curve operations☆41Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Updated 5 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆9Updated last year
- sorear's Metamath system engine - version 3 Rust☆23Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 4 months ago
- Deposited packages of the homalg project☆12Updated 3 weeks ago