Positivity Certificates for Polynomials over D-finite Solutions
1 : Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Institut National Polytechnique de Toulouse - INPT, Université Paul Sabatier (UPS) - Toulouse III, CNRS : UPR8001, Institut National des Sciences Appliquées [INSA] - Toulouse
2 : Czech Technical University in Prague

PDF version