Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Experience using AI software to prove Euler sum results [pdf] (davidhbailey.com)
11 points by cpp_frog 8 days ago | past | discuss
Large Poisson polynomials: Computation, results and analysis [pdf] (davidhbailey.com)
3 points by g0xA52A2A on July 6, 2023 | past
High-Precision Software Directory (davidhbailey.com)
1 point by blacksqr on Oct 26, 2022 | past
The Quest for Pi (1996) [pdf] (davidhbailey.com)
1 point by vo2maxer on Jan 5, 2020 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: