%0 Journal Article %1 journals/siamnum/Ortner09 %A Ortner, Christoph %D 2009 %J SIAM J. Numerical Analysis %K dblp %N 4 %P 2550-2577 %T A Posteriori Existence in Numerical Computations. %U http://dblp.uni-trier.de/db/journals/siamnum/siamnum47.html#Ortner09 %V 47

@article{journals/siamnum/Ortner09, added-at = {2011-03-22T00:00:00.000+0100}, author = {Ortner, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25124596fe96634313c86f5ce0bf51d31/dblp}, ee = {http://dx.doi.org/10.1137/060668183}, interhash = {ef3d1727220b609c0c641f8aedc805bd}, intrahash = {5124596fe96634313c86f5ce0bf51d31}, journal = {SIAM J. Numerical Analysis}, keywords = {dblp}, number = 4, pages = {2550-2577}, timestamp = {2016-02-02T09:28:20.000+0100}, title = {A Posteriori Existence in Numerical Computations.}, url = {http://dblp.uni-trier.de/db/journals/siamnum/siamnum47.html#Ortner09}, volume = 47, year = 2009 }