Andreas Rauh, Luise Senkel, Harald Aschemann. Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides. In Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker, editors, Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers. Volume 9553 of Lecture Notes in Computer Science, pages 236-246, Springer, 2014. [doi]
@inproceedings{RauhSA14-0, title = {Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides}, author = {Andreas Rauh and Luise Senkel and Harald Aschemann}, year = {2014}, doi = {10.1007/978-3-319-31769-4_19}, url = {http://dx.doi.org/10.1007/978-3-319-31769-4_19}, researchr = {https://researchr.org/publication/RauhSA14-0}, cites = {0}, citedby = {0}, pages = {236-246}, booktitle = {Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers}, editor = {Marco Nehmeier and Jürgen Wolff von Gudenberg and Warwick Tucker}, volume = {9553}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-31768-7}, }