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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change