List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalising half of a graduate textbook on number theory (short paper) | 2026-02-10 | Paper |
| Simple type theory is not too simple: Grothendieck's schemes without dependent types Experimental Mathematics | 2022-08-03 | Paper |
| Irrationality and transcendence criteria for infinite series in Isabelle/HOL Experimental Mathematics | 2022-08-03 | Paper |
| Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL Journal of Automated Reasoning | 2020-03-03 | Paper |
| Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL Journal of Automated Reasoning | 2019-02-15 | Paper |
| Comparison of three different parallel computation methods for a two-dimensional dam-break model Mathematical Problems in Engineering | 2018-11-05 | Paper |
| A formal proof of Cauchy's residue theorem Interactive Theorem Proving | 2016-10-27 | Paper |
Research outcomes over time
This page was built for person: Wenda Li
