POPL 2016 (series) / CPP 2016 (series) / CPP /

## Formalization of a Newton series representation of polynomials

**Mon 18 Jan 2016 17:30 - 18:00 at Room St Petersburg II**- Session 4: Mathematics

We formalize an algorithm to change the representation of a polynomial to a Newton power series. This provides a way to compute efficiently polynomials which roots are the sums or products of roots of other polynomials, and hence provide a base component of efficient computation for algebraic numbers. In order to achieve this, we formalize a notion of partial power series and develop an abstract theory of poles of fractions.

#### Mon 18 Jan

16:00 - 16:30Talk | ||||||||||||||||||||||||||||||||||||||||||

16:30 - 17:00Talk | Sophie BernardINRIA, Yves BertotINRIA, Laurence RideauINRIA, Pierre-Yves StrubIMDEA Software Institute | |||||||||||||||||||||||||||||||||||||||||

17:00 - 17:30Talk | ||||||||||||||||||||||||||||||||||||||||||

17:30 - 18:00Talk |