11 citations · 15 across the 4 of their papers we have counts for
4 papers
Revisiting second-order linear differential equations over Hardy fields
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
We review second-order homogeneous linear differential equations with coefficient functions whose germs lie in a Hardy field (and hence are strongly non-oscillating). We prove a co…
A zero-test for D-algebraic transseries
Shaoshi Chen, Hanqian Fang, Joris van der Hoeven
Consider formal power series that are defined as the solutions of a system of polynomial differential equations together with a sufficient numbe…
Probably faster multiplication of sparse polynomials
Joris van der Hoeven
In this paper, we present a probabilistic algorithm to multiply two sparse polynomials almost as efficiently as two dense univariate polynomials with a result of approximately the…
Faster integer multiplication using short lattice vectors
David Harvey, Joris van der Hoeven
We prove that -bit integers may be multiplied in bit operations. This complexity bound had been achieved previously by several authors, assuming va…