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
- 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
- Quantum implementation of elliptic curve primitives☆29Updated 2 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last month
- A polymorphic interface for elliptic curve operations☆41Updated last year
- Successor to PolyBoRi☆17Updated last year
- knot theory and computational algebra software☆34Updated 10 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 months ago
- A Binder repo for SageMath computing environment☆27Updated this week
- DEciding Equivalence Properties in SECurity protocols☆17Updated last year
- Lean-independent implementation of the MM-Lean link☆27Updated last year
- ☆21Updated last year
- Super Amazing Universal Composability, Yeah!☆33Updated 2 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆27Updated 2 months ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆8Updated last year
- ☆28Updated 2 years ago
- Deposited packages of the homalg project☆12Updated last month
- An encyclopedia of proofs☆57Updated 2 years ago
- ☆21Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- lean-related presentations☆16Updated 9 months ago
- Crypto library☆52Updated last month
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Homebrew tap for GAP☆14Updated 5 months 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
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year