Hacker News new | past | comments | ask | show | jobs | submit login
"A=B", a book about computer methods of discovery and proof of hypergeometric id (upenn.edu)
3 points by fanf2 5 months ago | hide | past | favorite



Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: