Login / Signup
Marco Schnurr
Publication Activity (10 Years)
Years Active: 2004-2009
Publications (10 Years): 0
</>
Publications
</>
Marco Schnurr
A second-order pruning step for verified global optimization.
J. Glob. Optim.
44 (3) (2009)
Marco Schnurr
Computing slope enclosures by exploiting a unique point of inflection.
Appl. Math. Comput.
204 (1) (2008)
Marco Schnurr
On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda.
Reliab. Comput.
11 (1) (2005)
Andreas Frommer
,
Bruno Lang
,
Marco Schnurr
A Comparison of the Moore and Miranda Existence Tests.
Computing
72 (3-4) (2004)