CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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

CPP-2016-main
16:00 - 18:00: CPP - Session 4: Mathematics at Room St Petersburg II
CPP-2016-main16:00 - 16:30
Talk
Wenda LiUniversity of Cambridge, Lawrence PaulsonCambridge University
CPP-2016-main16:30 - 17:00
Talk
Sophie BernardINRIA, Yves BertotINRIA, Laurence RideauINRIA, Pierre-Yves StrubIMDEA Software Institute
CPP-2016-main17:00 - 17:30
Talk
René ThiemannUniversity of Innsbruck, Akihisa Yamada
CPP-2016-main17:30 - 18:00
Talk