edgarcosta / endomorphisms
Rigorous computation of the endomorphism ring of a Jacobian
☆10Updated 2 weeks ago
Alternatives and similar repositories for endomorphisms:
Users that are interested in endomorphisms are comparing it to the libraries listed below
- Proof assistant for qRHL☆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
- Successor to PolyBoRi☆19Updated 4 months ago
- 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
- ☆23Updated last year
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A polymorphic interface for elliptic curve operations☆42Updated last year
- ☆23Updated 2 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆16Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 7 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 3 months ago
- Matroids in Lean☆18Updated last year
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆15Updated 3 months ago
- Circuits for functions of interest to cryptography☆27Updated last year
- An encyclopedia of proofs☆59Updated 5 months ago
- Superposition prover☆17Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- ☆11Updated last year
- ☆15Updated 3 weeks ago
- This software library is a C-language + optimized assembly code that supports an instance of the Super-Singular Isogeny Diffie-Hellman (S…☆9Updated 6 years ago
- Introduction to Secure Multi-Party Computations☆16Updated 6 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 5 months ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated 2 months ago
- lean-related presentations☆16Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Updated 4 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago