Hacker News Reader

> Did a colleague take at peek at the screen and said, hey I have the same equations?

This would an interesting thing to try - a computer system that would scan all the papers for math and find parallels. I think we already have something like term indexing for deductive systems?

View on HN

This is theoretically very possible, and I know that at least a few people (http://ccimi.maths.cam.ac.uk/projects/create-semantic-search...) are working on it.

Very yummy, thanks!

One of the goals of OEIS is to discover when the same integer sequence arises in different mathematical contexts, and to confirm whether it's really the same sequence, which then gives the opportunity to prove why it's the same.

That might be a bit of a narrower domain, but it seems to work out pretty well!

https://oeis.org/

Reply on news.ycombinator.com