Ih8registering2··on OntoMathPro Ontology – A hub for math knowledgeStuff like this reminds me of Doug Lenat's AM (automatic mathemetician) from back in the day, written in everyone's favorite, Lisp.