Aaron Dutle

Available identifiers

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	2015-07-27	Paper
Computing hypermatrix spectra with the Poisson product formula	2015-02-20	Paper
On realizations of a joint degree matrix	2014-12-05	Paper

This page was built for person: Aaron Dutle