A personal project to map out all known mathematical theorems, definitions, and knowledge. Implements a graph theory based approach with nodes as theorems and edges as proofs. Includes details of how such a structure will be created, maintained, and updated
-
Notifications
You must be signed in to change notification settings - Fork 0
A personal project to map out all known mathematical theorems, definitions, and knowledge. Implements a graph theory based approach with nodes as theorems and edges as proofs. Includes details of how such a structure will be created, maintained, and updated
samlayton99/Map_Of_Mathematics
About
A personal project to map out all known mathematical theorems, definitions, and knowledge. Implements a graph theory based approach with nodes as theorems and edges as proofs. Includes details of how such a structure will be created, maintained, and updated
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published