%0 Journal Article %1 journals/toms/KearfottW00 %A Kearfott, R. Baker %A Walster, G. William %D 2000 %J ACM Trans. Math. Softw. %K dblp %N 3 %P 373-389 %T On stopping criteria in verified nonlinear systems or optimization algorithms. %U http://dblp.uni-trier.de/db/journals/toms/toms26.html#KearfottW00 %V 26

@article{journals/toms/KearfottW00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kearfott, R. Baker and Walster, G. William}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c64b5d0d26653676e3a50abe03b626bc/dblp}, ee = {https://doi.org/10.1145/358407.358418}, interhash = {f126a4865784bbdaa0709fa1dc3414d5}, intrahash = {c64b5d0d26653676e3a50abe03b626bc}, journal = {ACM Trans. Math. Softw.}, keywords = {dblp}, number = 3, pages = {373-389}, timestamp = {2019-09-27T06:22:26.000+0200}, title = {On stopping criteria in verified nonlinear systems or optimization algorithms.}, url = {http://dblp.uni-trier.de/db/journals/toms/toms26.html#KearfottW00}, volume = 26, year = 2000 }