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