Search Results for author: Ofir Razon

Found 1 papers, 0 papers with code

Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences

no code implementations13 Dec 2022 Ofir Razon, Yoav Harris, Shahar Gottlieb, Dan Carmon, Ofir David, Ido Kaminer

Formulas involving fundamental mathematical constants had a great impact on various fields of science and mathematics, for example aiding in proofs of irrationality of constants.

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