13 citations · 42 across the 16 of their papers we have counts for
17 papers
Unsupervised Discovery of Formulas for Mathematical Constants
Michael Shalyt, Uri Seligmann, Itay Beit Halachmi +3
Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for…
On the rate of convergence of continued fraction statistics of random rationals
Ofir David, Taehyeong Kim, Ron Mor +1
We show that the statistics of the continued fraction expansion of a randomly chosen rational in the unit interval, with a fixed large denominator , approaches the Gauss-Kuzmin…
Algorithm-assisted discovery of an intrinsic order among mathematical constants
Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual +6
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 wo…
On Euler polynomial continued fractions
Ofir David
In this paper, we introduce the polynomial continued fraction, a close relative of the well-known simple continued fraction expansions which are widely used in number theory and in…
The conservative matrix field
Ofir David
We present a new structure called the "conservative matrix field", initially developed to elucidate and provide insight into the methodologies employed by Apéry's in his proof of t…
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences
Ofir Razon, Yoav Harris, Shahar Gottlieb +3
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. H…