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:
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- Proof assistant for qRHL☆21Updated 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
- 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 this week
- Successor to PolyBoRi☆19Updated 2 weeks 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
- knot theory and computational algebra software☆37Updated 10 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- ☆30Updated this week
- ☆14Updated this week
- LODA Programs for Integer Sequences☆33Updated this week
- A sample project illustrating how to write and distribute SageMath extensions☆17Updated 2 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- ☆23Updated 3 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 3 years ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- Tag-based webview of LaTeX documents☆29Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated last month
- Quantum information theory in Lean 4☆16Updated this week
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 8 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 12 years ago