Aaron Dutle
From MaRDI portal
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
