Creative telescoping for D-finite functions - Lecture 1
De Christoph Koutschan
Creative telescoping for D-finite functions - Lecture 2
De Christoph Koutschan
De Gérard Berry
Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics
Gérard Berry Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification