Evaluación dinámica/Evaluation dynamique/Dynamic evaluation

• Dominique Duval et sa page sur l'évaluation dynamique.
• Tesis/thèse/thesis (1994), en PS, en PDF
• ISSAC 95, en PS, en PDF, published version (PDF)
• IMACS (1996), en PS, en PDF, publisher link

• Quelques applications de l'évaluation dynamique, par Teresa Gomez-Diaz, sous la direction de Dominique Duval, Université de Limoges, 1994.
• Triangularisation de systèmes constructibles, par Stéphane Dellière, sous la direction de Dominique Duval, Université de Limoges, 1999.

• Rapport LACO 2000 : D.M.Wang simple systems and dynamic constructible closure
• Rapport LACO 2000 : A first course to D7 with examples
• Rapport INRIA 2000 : Pgcd de deux polynômes à paramètres : approche par la clôture constructible dynamique et généralisation de la méthode de S.A. Abramov, K.Yu. Kvashenko, sur HAL
• Journal of Pure and Applied Algebra, 2001 : On the links between triangular sets and dynamic constructible closure