Wenda Li

1PUBLICATIONS
1CO-AUTHORS
Data structures and algorithms
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Feb 18, 2020
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.

Wenda Li, Lawrence C Paulson

Pageof 1

Frequent Collaborators

1 joint publications

Lawrence C Paulson