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

2019

CPP

Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track

2016

CPP

Author of A Modular, Efficient Formalisation of Real Algebraic Numbers within the CPP-track