Wenda Li
ORCIDPublication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 78
Publications (10 Years): 78
Publications
- Albert Q. Jiang, Wenda Li, Mateja Jamnik
- Wenda Li, Jian Wang
- Fox Thomson, Wenda LiThe Theorem of Three Circles. Arch. Formal Proofs 2021 (2021)
- Anthony Bordg, Lawrence C. Paulson, Wenda Li
- Angeliki Koutsoukou-Argyraki, Wenda Li
- Angeliki Koutsoukou-Argyraki, Wenda Li
- Wenda Li
- Wenda Li
- Wenda Li, Lawrence C. Paulson
- Wenda Li, Bo Tan, Robert J. Piechocki
- Wenda LiThe Sturm-Tarski Theorem. Arch. Formal Proofs 2014 (2014)
- Wenda Li