mathematical-discovery-engine
This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results
What is mathematical-discovery-engine?
This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results