Tootfinder

Opt-in global Mastodon full text search. Join the index!

@patrikja@functional.cafe
2025-10-14 14:00:53

Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬
The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.
📄 Slides:

Riemann curvature tensor in diagram notation: three "input indices" i, j, k and one "output index" l.
The Riemann curvature tensor as a combination of four terms involving partial derivatives and Christoffel symbols.
Wire diagrams showing the derivative rules for tensor composition and tensor product.