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