benislocated/proofofconcept repository overview

https://derivationmap.net/⁠

Physics Derivation Graph

• Claim: a finite static directed graph exists which describes all of mathematical physics.
• Claim: the graph representation is machine parsable
• Claim: this graph can be checked by a computer algebra system

⁠Licensing

Creative Commons Attribution 4.0 International License⁠