edgarcosta / endomorphismsLinks
Rigorous computation of the endomorphism ring of a Jacobian
☆11Updated 2 months ago
Alternatives and similar repositories for endomorphisms
Users that are interested in endomorphisms are comparing it to the libraries listed below
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Proof assistant for qRHL☆21Updated 2 weeks ago
- Successor to PolyBoRi☆20Updated last month
- ☆14Updated this week
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years 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…☆21Updated 3 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 9 months ago
- Circuits for functions of interest to cryptography☆27Updated last year
- A Binder repo for SageMath computing environment☆27Updated this week
- ☆23Updated 3 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 6 months ago
- A polymorphic interface for elliptic curve operations☆42Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Quantum implementation of elliptic curve primitives☆33Updated 3 years ago
- sorear's Metamath system engine☆13Updated 9 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆18Updated 5 months ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 2 weeks ago
- Matroids in Lean☆18Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- ☆12Updated 3 years ago
- Super Amazing Universal Composability, Yeah!☆34Updated 3 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- ☆24Updated last year
- 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
- A sample project illustrating how to write and distribute SageMath extensions☆17Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated this week