Olivier Mullier et al.: Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. (2018)journals/oms/MullierCS1810.1080/10556788.2018.1459620Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation.3Olivier Mullier1Alexandre Chapoutot2Julien Alexandre Dit Sandretto3718-728Optim. Methods Softw.Optim. Methods Softw.334-62018provenance information for RDF data of dblp record 'journals/oms/MullierCS18'2020-09-24T11:26:06+0200