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 |
|---|---|---|
| A formally verified floating-point implementation of the compact position reporting algorithm | 2021-05-04 | Paper |
| A decision procedure for univariate polynomial systems based on root counting and interval subdivision | 2019-09-18 | Paper |
| A formal analysis of the compact position reporting algorithm | 2018-12-07 | Paper |
| Formalization of the undecidability of the halting problem for a functional language | 2018-10-18 | Paper |
| Abelian groups yield many large families for the diamond problem European Journal of Mathematics | 2015-07-27 | Paper |
| Computing hypermatrix spectra with the Poisson product formula Linear and Multilinear Algebra | 2015-02-20 | Paper |
| On realizations of a joint degree matrix Discrete Applied Mathematics | 2014-12-05 | Paper |
Research outcomes over time
This page was built for person: Aaron Dutle
