-
deck
Mar 02, 2026
215
0
-
Copy of Scientific Computing in Lean
Aug 21, 2024
1,148
0
-
Copy of Scientific Computing in Lean
May 14, 2024
532
0
-
Scientific Computing in Lean
May 07, 2024
528
0
-
Automatic differentiation in Lean
Jan 02, 2024
885
0
-
Using Interactive Theorem Prover for Scientific Computing
Jun 22, 2023
562
0
-
Talk at Certified and Symbolic-Numeric Computation
May 16, 2023
1,052
2
-
deck
Mar 01, 2023
516
0
