Sciweavers

JSC
2006

Complexity bounds for zero-test algorithms

13 years 4 months ago
Complexity bounds for zero-test algorithms
In this paper, we analyze the complexity of a zero test for expressions built from formal power series solutions of first order differential equations with non degenerate initial conditions. We will prove a doubly exponential complexity bound. This bound establishes a power series analogue for "witness conjectures".
Joris van der Hoeven, John Shackell
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JSC
Authors Joris van der Hoeven, John Shackell
Comments (0)