3 ms·
> 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 sca
by jakub_h 10y ago
> 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?
- kough 10y agoThis is theoretically very possible, and I know that at least a few people (http://ccimi.maths.cam.ac.uk/projects/create-semantic-search-engine-mathematical-literature/ http://ccimi.maths.cam.ac.uk/projects/create-semantic-search...) are working on it.
- jakub_h 10y agoVery yummy, thanks!
- schoen 10y agoOne 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/ https://oeis.org/