j2kun / riemann-divisor-sum
Code for the series "Searching for Riemann Hypothesis Counterexamples"
☆21Updated last year
Alternatives and similar repositories for riemann-divisor-sum:
Users that are interested in riemann-divisor-sum are comparing it to the libraries listed below
- Abelian sandpiles☆15Updated 2 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- ☆108Updated 2 years ago
- Resource for the applied category theory Munich reading group☆20Updated 3 years ago
- ☆22Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 2 months ago
- Geometric Algebra package for JAX☆49Updated 3 years ago
- Example Distill article repository—clone, rename, start writing!☆69Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A system for computational category theory and applications☆38Updated 8 years ago
- Python S-expression emulation using tuple-like objects.☆21Updated 4 months ago
- DeepAlgebra☆25Updated 7 years ago
- Thoughts on adjoint, norm and such.☆167Updated 2 years ago
- Deposited packages of the homalg project☆13Updated last month
- The simple essence of automatic differentiation☆198Updated 4 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 9 years ago
- Building dynamical systems compositionally☆68Updated 3 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- Lecture notes of the course Analysis On Manifolds☆20Updated 2 weeks ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- List of links of techniques to help enhance mathematical notation☆181Updated 3 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- 🦠 AD in less than 20 lines☆53Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago