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

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
Share
xSat 17 May 01:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up