Wenda Li

From MaRDI portal
Person:1725842

Available identifiers

zbMath Open li.wendaMaRDI QIDQ1725842

List of research outcomes





PublicationDate of PublicationType
Simple type theory is not too simple: Grothendieck's schemes without dependent types2022-08-03Paper
Irrationality and transcendence criteria for infinite series in Isabelle/HOL2022-08-03Paper
Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL2020-03-03Paper
Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL2019-02-15Paper
Comparison of three different parallel computation methods for a two-dimensional dam-break model2018-11-05Paper
A formal proof of Cauchy's residue theorem2016-10-27Paper

Research outcomes over time

This page was built for person: Wenda Li

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1725842&oldid=6373021"
Powered by MediaWiki