Search Results for author: Yaron Hadad

Found 2 papers, 1 papers with code

Algorithm-assisted discovery of an intrinsic order among mathematical constants

no code implementations22 Aug 2023 Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual, Rotem Kalisch, Wolfgang Berndt, Michael Shalyt, Mark Silberstein, Yaron Hadad, Ido Kaminer

In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans would take too long to investigate.

Mathematical Proofs

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants

4 code implementations29 Jun 2019 Gal Raayoni, Shahar Gottlieb, George Pisha, Yoav Harris, Yahel Manor, Uri Mendlovic, Doron Haviv, Yaron Hadad, Ido Kaminer

Fundamental mathematical constants like $e$ and $\pi$ are ubiquitous in diverse fields of science, from abstract mathematics to physics, biology and chemistry.

Cannot find the paper you are looking for? You can Submit a new open access paper.