• Sign in
  • Sign up
conf.researchr.org / Wenda Li
  • POPL 2016 profile
  • POPL 2019 profile

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

Share
xFri 20 May 18:52
using conf.researchr.org (v1.55.6)
Support page
Sign Up