j2kun / riemann-divisor-sumLinks
Code for the series "Searching for Riemann Hypothesis Counterexamples"
☆21Updated 2 years ago
Alternatives and similar repositories for riemann-divisor-sum
Users that are interested in riemann-divisor-sum are comparing it to the libraries listed below
Sorting:
- Python S-expression emulation using tuple-like objects.☆23Updated 2 months ago
- Python term rewriting☆30Updated 12 years ago
- DeepAlgebra☆25Updated 8 years ago
- ☆24Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- The simple essence of automatic differentiation☆201Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- ☆108Updated 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 3 months ago
- Metamath verifier in Python☆40Updated 6 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Very controlled natural language tactics for Lean☆65Updated last year
- a datastructure for scalable combinatorial syntax☆19Updated 10 months ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Updated 3 years ago
- ☆51Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Formalizing results about the Mandelbrot set in Lean☆27Updated this week
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Python implementation of the monster group☆55Updated this week
- Learning Algebraic Varieties from Samples☆24Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Geometric Algebra package for JAX☆54Updated 4 years ago
- Resources for making sense of topology and its concepts☆18Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year