j2kun / riemann-divisor-sumLinks
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
Sorting:
- Python S-expression emulation using tuple-like objects.☆23Updated 9 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- ☆23Updated 3 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Logic Programming in Python☆31Updated 3 years ago
- ☆108Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 3 weeks ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆62Updated last year
- A system for computational category theory and applications☆38Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Short essays I've written☆79Updated last year
- DeepAlgebra☆25Updated 7 years ago
- Abelian sandpiles☆16Updated 7 months ago
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆30Updated 5 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 10 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Template for article submission☆21Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- ∂B nets: learning discrete, boolean-valued functions by gradient descent☆21Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Python term rewriting☆29Updated 12 years ago