Riemann Hypothesis in Lean

Code for the series "Searching for Riemann Hypothesis Counterexamples"

A collection of some algorithms on generating numerous prime sequences

A small Java program that traces the Riemann Zeta function along the critical line.

Riemann's Hypothesis

This repository contains investigations of the distribution of Riemann zeta zeros, with machine learning applications and study of symmetry properties