Mario Alvarez-Picallo, Video: Soundness for automatic differentiation via string diagrams

Mario Alvarez-Picallo, Video: Soundness for automatic differentiation via string diagrams

Mario Alvarez-Picallo, Soundness for automatic differentiation via string diagrams, Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

68M

http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos

http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos/watch/202106171100-Alvarez-Picallo.html