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