Application-Based Discussion of Verified Simulations of Interval Enclosure Techniques.

Julia Kersten, Andreas Rauh, Harald Aschemann

Browse the full MMAR paper archive.