Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Marie-Franoise Roy, Universite de Rennes (France)
“Recursive bound for Hilbert 17-th problem”
Artin’s beautiful proof of Hilbert 17 th problem is higly non constructive. Constructive proofs obtained by Kreisel and others provided only primitive recursive degree bounds. We prove elementary recursive bounds in the degree for Hilbert 17-th problem, which is the ex- pression of a nonnegative polynomial as a sum of squares of rational functions. We obtain a tower of five exponentials. The method to obtaind a precise bound in terms of the degree of the polynomial and their number of variables will be presented. (Joint work with Henri Lombardi, Daniel Perrucci.)
MC 5501
**Please Note Day, Time and Room**
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.