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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile