Pinned Loading

1. Torsion-of-GL2-abelian-varieties Torsion-of-GL2-abelian-varieties Public

   Magma code for the paper Torsion points on GL_2-type abelian varieties

   Wolfram Language

2. Wild-Galois-Representations-Magma Wild-Galois-Representations-Magma Public

   In this repository I include the Magma functions that compute the Galois representation attached to an elliptic curve with non abelian inertia image, or a hyperelliptic curve of the form y^2=f(x), …

   MATLAB

3. mariainesdff/ostrowski2024 mariainesdff/ostrowski2024 Public

   Lean 3

4. mariainesdff/HassePrinciple mariainesdff/HassePrinciple Public

   An ongoing formalization of the Hasse-Minkowski theorem in Lean.

   Lean 2 4