Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger. Compositional Taylor Model Based Validated Integration. In 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. pages 45-52, IEEE, 2018. [doi]
@inproceedings{LiivaJPW18,
title = {Compositional Taylor Model Based Validated Integration},
author = {Kristjan Liiva and Paul B. Jackson and Grant O. Passmore and Christoph M. Wintersteiger},
year = {2018},
doi = {10.1109/SYNASC.2018.00020},
url = {https://doi.org/10.1109/SYNASC.2018.00020},
researchr = {https://researchr.org/publication/LiivaJPW18},
cites = {0},
citedby = {0},
pages = {45-52},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018},
publisher = {IEEE},
isbn = {978-1-7281-0625-0},
}