Archive for the ‘AI’ Category

Thoughts on computerized mathematics

Posted by: holdenlee on September 3, 2014

Talk: Proving Mathematical Theorems Using Computers

Posted by: holdenlee on August 19, 2014

Mathematical Compression

Posted by: holdenlee on January 30, 2014