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 | Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile