ansumandas441/mathematical-discovery-engine
This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results
GitHub repository with 15 stars and 0 forks.
Language: Python
Topics: artificial-intelligence, automated-reasoning, claude, claude-code, discovery-engine, graph-theory, knowledge-base, knowledge-graph, llm, machine-learning