Compositional Taylor Model Based Validated Integration.

Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger

Browse the full SYNASC paper archive.