conf.researchr.org / Wenda Li

Registered user since Fri 15 Jan 2016

Name: Wenda Li

Affiliation: University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~wl302/

Contributions

CPP 2019Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track
CPP 2016Author of A Modular, Efficient Formalisation of Real Algebraic Numbers within the CPP-track