Français
Mathematical foundations of automatic differentiation - a tutorial
Virtualconference
Authors : Vákár, Matthijs (Author of the conference)
CIRM (Publisher )
65D25 - Numerical differentiation
68Nxx - Software
68Qxx - Theory of computing
Additional resources :
https://www.cirm-math.fr/RepOrga/2686/Slides/CHAD-part-1.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
MSC Codes : 65D25 - Numerical differentiation
68Nxx - Software
68Qxx - Theory of computing
Additional resources :
https://www.cirm-math.fr/RepOrga/2686/Slides/CHAD-part-1.pdf
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : English Available date : 21/02/2022 Conference Date : 31/01/2022 Subseries : Research School arXiv category : Logic in Computer Science ; Programming Languages Mathematical Area(s) : Computer Science Format : MP4 (.mp4) - HD Video Time : 01:01:47 Targeted Audience : Researchers ; Graduate Students Download : https://videos.cirm-math.fr/2022-01-31-Vakar.mp4 
|
Information on the Event
Event Title : Logique de la programmation probabiliste / Logic of Probabilistic ProgrammingEvent Organizers : Avanzini, Martin ; Ehrhard, Thomas ; Faggian, Claudia ; Vaux Auclair, Lionel Dates : 31/01/2022 - 04/02/2022 Event Year : 2022 Event URL : https://conferences.cirm-math.fr/2686.html
Citation Data
DOI : 10.24350/CIRM.V.19884003Cite this video as: Vákár, Matthijs (2022). Mathematical foundations of automatic differentiation - a tutorial. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19884003 URI : http://dx.doi.org/10.24350/CIRM.V.19884003 |
See Also
- [Multi angle] An introduction to statistical modelling semantics with higher-order measure theory / Author of the conference Kammar, Ohad.
- [Virtualconference] Probabilistic model checking for strategic equilibria-based decision making: Part 1 / Author of the conference Kwiatkowska, Marta.
Bibliography
Imagette Video
