edgarcosta / endomorphisms
Rigorous computation of the endomorphism ring of a Jacobian
☆10Updated last month
Alternatives and similar repositories for endomorphisms
Users that are interested in endomorphisms are comparing it to the libraries listed below
Sorting:
- Proof assistant for qRHL☆21Updated 3 weeks ago
- Successor to PolyBoRi☆19Updated 5 months ago
- 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 2 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated this week
- ☆15Updated 2 weeks ago
- Deposited packages of the homalg project☆13Updated last week
- ☆23Updated 2 years ago
- sorear's Metamath system engine☆13Updated 9 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- ☆19Updated 8 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- An arbitrary-precision differentiable programming language.☆36Updated 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 3 weeks ago
- An encyclopedia of proofs☆60Updated 6 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆15Updated 3 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A polymorphic interface for elliptic curve operations☆42Updated last year
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- ACT community resources☆21Updated 5 years ago
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last week
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- CAP project -- Categories, Algorithms, and Programming☆26Updated last week
- ☆23Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- ☆31Updated 3 years ago