This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Flip Tanedo
fliptanedo.bsky.social
did:plc:tc23ydtr7g3vwu67kjantugt
Here's an application of birdtrack notation to prove a curvature tensor identity. It is identical to index notation, but I find the diagrammatic proof easier to follow once I picked up the rules.
This is a solution to exercise [14.10] in Penrose's Road to Reality.
2025-04-05T21:56:46.674Z