Sophie Bernard - CPP 2016

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Not registered as user yet

Name:Sophie Bernard

Affiliation:INRIA

Contributions

2016

CPP

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials

Show activities from other conferences

POPL 2016-profile
View general profile