[math-fun] PDF article of ; a search for a mathematical expression using a large database