related documents Parallel implementation of a Validated method for initial value problems Conferences