Popular repositories Loading

1. riemann-weil-phenomenology riemann-weil-phenomenology Public

   Forked from darreal44/riemann-weil-phenomenology

   Numerical phenomenology of the Weil positivity criterion: first function-level test of Suzuki’s conjecture (1.2), identification of its constant as ‖Φ‖ = 1.130932, and a linear depth law for Dirich…

   TeX

2. joubert-formal-license joubert-formal-license Public

   Joubert Formal License: GPL-3.0-or-later OR CC-BY-SA-4.0 with a binding interpretation for formalized mathematics

3. python-flint python-flint Public

   Forked from flintlib/python-flint

   Python bindings for Flint and Arb

   Cython