%0 Journal Article %1 journals/rc/AuerK13 %A Auer, Ekaterina %A Kiel, Stefan %D 2013 %J Reliab. Comput. %K %N 2 %P 156-175 %T Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. %U http://dblp.uni-trier.de/db/journals/rc/rc19.html#AuerK13 %V 19

@article{journals/rc/AuerK13, added-at = {2023-12-12T21:14:16.000+0100}, author = {Auer, Ekaterina and Kiel, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2d63e6955e0f861626f77779313c92f81/admin}, ee = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-156-175.pdf}, interhash = {3b28b34ec5f1c0b56a5ae6f57bf12669}, intrahash = {d63e6955e0f861626f77779313c92f81}, journal = {Reliab. Comput.}, keywords = {}, number = 2, pages = {156-175}, timestamp = {2023-12-12T21:14:16.000+0100}, title = {Uses of Verified Methods for Solving Non-Smooth Initial Value Problems.}, url = {http://dblp.uni-trier.de/db/journals/rc/rc19.html#AuerK13}, volume = 19, year = 2013 }