COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, France

## Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, FranceAdd to your list(s) Download to your calendar using vCal - Marie-Françoise Roy (Université de Rennes 1; Université de Rennes 1)
- Wednesday 28 June 2017, 11:00-12:00
- Seminar Room 2, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPR - Big proof Hilbert 17th problem asks whether a polynomial taking only non-negative values is a sum of squares (in the field of rational functions). Its positive solution around 1925 by Artin does not make it possible to construct the sum of squares. Since then, some progress made it possible to give such contructions and to bound the degrees of the polynomials appearing in the sum of squares. An explicit recent proof gives elementary recursive degree bounds. The method of construction illustrates the current renewal of constructive algebra. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 2, Newton Institute
Note that ex-directory lists are not shown. |
## Other listsEED Film Series: '7-49 Up' Quantum Matter Journal Club BP Lectures 2011## Other talksPrescribing step counts in type 2 diabetes and hypertension:Results of the Step Monitoring to improve ARTERial health trial A novel aspect of Macrophage biology: learning from the great opportunist HIV-1 A physical model for wheezing in lungs Imaging surfaces with atoms Understanding model diversity in CMIP5 projections of westerly winds over the Southern Ocean Index of Suspicion: Predicting Cancer from Prescriptions |