3 ms·"A=B", a book about computer methods of discovery and proof of hypergeometric id3 points by fanf2 2y ago