![[1245] Model theory, differential algebra and functional transcendence](/media/cache/video_light/uploads/video/SeminaireBourbaki.jpg)
publiée le 9 décembre 2025
[1245] Model theory, differential algebra and functional transcendence
De Amador Martin-Pizarro
Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)
De Gérard Berry
Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics
Thematic trimester at IHP : Semantics of proofs and certified mathematics. Gerard Berry' lecture : Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification 23rd April 2014
