11 citations · 26 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Hardy fields, the intermediate value property, and -freeness
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
We discuss the conjecture that every maximal Hardy field has the Intermediate Value Property for differential polynomials, and its equivalence to the statement that all maximal Har…
cs.SC2019
LU factorization with errors *
Jean-Guillaume Dumas, Joris Van Der Hoeven, Clément Pernet +1
We present new algorithms to detect and correct errors in the lower-upper factorization of a matrix, or the triangular linear system solution, over an arbitrary field. Our main alg…