Two computer science graduates at Rochester Institute of Technology are helping to demystify mathematics with a search engine specifically made for sophisticated math. David Stalnaker and Nidhin ...