harshhpareek / am-utexas Goto Github PK
View Code? Open in Web Editor NEWThis project forked from akkartik/am-utexas
Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
Home Page: http://en.wikipedia.org/wiki/Automated_Mathematician