update readme

lecopivo · Sep 20, 2024 · 2104365 · 2104365
1 parent f63e496
commit 2104365
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -14,6 +14,12 @@ Lean is an expressive functional programming language that allows to formalize t
 # Documentation
 
 Work in progress book/reference manual: [Scientific Computing in Lean](https://lecopivo.github.io/scientific-computing-lean/)
+
+Presentations:
+- [Automatic Differentiation in Lean](https://www.youtube.com/watch?v=Kjx5KvB8FL8)
+  Overview and motivation behind automatic differentiation in Lean, examples of forward and reverse mode AD.
+- [Scientific Computing in Lean](https://umbc.webex.com/umbc/ldr.php?RCID=fdb070fac47f174fcecf60a96960eacc)
+  Overview and motivation behind SciLean, working with n-dimensional arrays and symbolic/automatic differentiation.
 
 # Installation and running examples/tests