Hacker News new | past | comments | ask | show | jobs | submit login

user: martincmartin created: May 12, 2008 karma: 7316 about: Applying AI to Math www.mathematiciansassistant.com submissions comments favorites