Creative telescoping for D-finite functions - Lecture 1
By Christoph Koutschan
Creative telescoping for D-finite functions - Lecture 2
By Christoph Koutschan
By Gérard Berry
Appears in 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