GReTA seminar #17: "Soundness for Automatic Differentiation via String Diagrams"

Published --

Download video MP4 360p

Recommendations

33:08

Mario Román - Collages of String Diagrams
1:29:25

GReTA seminar: Higher-Arity Algebra via Hypergraph Rewriting
3:53:06

ELK Stack Tutorial For Beginners | Elastic Stack Tutorial | DevOps | Intellipaat
1:37:47

GReTA seminar: "Functorial Data Migration"
1:12:40

GReTA seminar: In the Groove
55:48

ACT 2020 Tutorial: Introduction to string diagrams (Fabrizio Genovese)
57:24

Terence Tao at IMO 2024: AI and Mathematics
21:57

Understanding Porsche's New Six Stroke Engine Patent
3:58:21

Flutter Engage
1:19:51

GReTA seminar: "Functional Graph Programs - Foundations and Applications"
1:21:31

GReTA seminar: Multilevel Typed Graph Transformations
1:02:20

GReTA seminar: "A Category of Surface-Embedded Graphs"
3:59:46

Build a Secure Realtime Chat App in React Native [3] (tutorial for beginners) 🔴
1:16:36

ICGT Session 1 (Keynote)
3:33:35

Houdini Algorithmic Live #112 - Procedural Plant Growth
3:49:41

An Introductory QGIS Workshop for Beginners
3:55:08

Errichto Stream, POI 22/1
41:49

Skąd się wzięły kłopoty Volkswagena?

Similar videos

1:08:18

GReTA seminar #11: "Rewriting Modulo Symmetric Monoidal Structure"
1:17:40

GReTA seminar #24: "Tutorial on Graph Transformation Concepts and Applications"
1:19:35

GReTA seminar #7: "Fast Graph Programs"
1:20:16

GReTA seminar #29: "Tutorial on Graph Transformation Concepts and Applications - Part 3"
1:17:26

GReTA seminar #26: "Quantum Causal Graph Dynamics"
1:24:01

GReTA seminar #21: "GRAPEpress - A Computational Notebook for Graph Transformations"
1:29:13

GReTA seminar #8: "Composition-based Graph Rewriting"
1:17:11

GReTA seminar #22: "Supporting Software Variability with Graph Transformations"
1:46:40

GReTA seminar #20: "GReTA-ExACT: towards Executable Applied Category Theory"
1:13:36

GReTA seminar #5: "Confluence of Graph Transformation"
1:00:19

GReTA seminar #9: "Formal Graph Language Theory & Fusion Grammars"
1:30:15

GReTA seminar #30: "Recent Developments in TGG-based Model Synchronisation"
1:23:15

GReTA seminar #16: "Picturing Quantum Software"
1:12:01

GReTA seminar #28: "Tutorial on Graph Transformation Concepts and Applications - Part 2"
59:40

GReTA seminar #32: "PBPO+: A Unifiying Theory for Quasitoposes"
1:16:20

GReTA seminar #14: "Global Order Routing on Exchange Networks"
1:11:55

GReTA seminar #19: "Model Transformation Languages and Performance Engineering"
More results