Popular repositories Loading

1. lmfdb lmfdb Public

   Forked from LMFDB/lmfdb

   L-Functions and Modular Forms Database

   Python

2. QC_bielliptic QC_bielliptic Public

   Forked from jbalakrishnan/QC_bielliptic

   SageMath code for Quadratic Chabauty for genus 2 bielliptic curves of rank 0 or 1

   Sage

3. MWSieve MWSieve Public

   Wolfram Language

4. HassePrinciple HassePrinciple Public

   Forked from mariainesdff/HassePrinciple

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

   Lean

5. RationalSolids RationalSolids Public

   Computations for Rational Pyramids and Prisms with Equal Surface Area and Volume

   Wolfram Language