Clip
Connections Between Mathematics, Physics, and Blockchain
3:45:57 - 3:51:12 (05:14)
The mathematical concept of multiway graphs has been used to understand both physics and blockchain. Automated theorem proving has been used in both physics and mathematics projects.