Riemann Hypothesis book
☆74Nov 24, 2017Updated 8 years ago
Alternatives and similar repositories for rh
Users that are interested in rh are comparing it to the libraries listed below
Sorting:
- Algebra Number Theory book☆48Mar 2, 2022Updated 3 years ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- ☆27Feb 3, 2026Updated 3 weeks ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- Deposited packages of the homalg project☆17Dec 23, 2025Updated 2 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Aug 5, 2023Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Mar 15, 2023Updated 2 years ago
- L-Functions and Modular Forms Database☆282Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆24Feb 10, 2026Updated 2 weeks ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- Jupyter Kernel for Mathics☆20Oct 26, 2016Updated 9 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆28Feb 19, 2026Updated last week
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- resources collected by the mentoring committee for instructors☆12Apr 6, 2022Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last week
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 3 years ago
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 5 months ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- Multinomials for the Mathematical Components library.☆16Nov 7, 2025Updated 3 months ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆128Jul 9, 2024Updated last year
- Jupyter notebooks and documentation for SageManifolds☆54Dec 28, 2025Updated 2 months ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- Digital Audio Funstation☆14Updated this week
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Fortran Library, Application, and Toolkit Packages☆16Dec 29, 2016Updated 9 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- ☆17Jul 26, 2020Updated 5 years ago
- ☆17Sep 30, 2025Updated 5 months ago
- Computational algebraic number theory☆288Updated this week
- RealAnalysisGame☆56Feb 13, 2026Updated 2 weeks ago
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago