33 ms·
Stuff like this reminds me of Doug Lenat's AM (automatic mathemetician) from back in the day, written in everyone's favorite, Lisp.
by Ih8registering2 12y ago
Stuff like this reminds me of Doug Lenat's AM (automatic mathemetician) from back in the day, written in everyone's favorite, Lisp.
- nzhiltsov 12y agoTo be precise, AM is related to so-called 'computer mathematics'. In this project, we do not aim at modelling mathematics for theorem provers or similar things. Our applications (e.g. keyword-based formula search, education, information extraction) are introduced in the papers.