Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
Creative telescoping for D-finite functions - Lecture 1
De Christoph Koutschan
De Gilles Dowek
Apparaît dans les collections : Algorithm and programming / Algorithmique et programmation, Exposés de recherche
Cet exposé présente un certain nombre d'exemples d'exercices de programmation sur les arbres qui peuvent être effectués dans les premières années d'université. Les programmes étant eux-mêmes des arbres, écrire des programmes qui opèrent sur des arbres permet d'écrire des programmes qui opèrent sur d'autres programmes.