On the blunting method in verified integration of ODEs Journal Articles

authors

• Nedialkov, Nedialko
• Jackson, KR
• Neher, M

status

• published 

publication date

• January 1, 2016

has subject area

• Numerical & Computational Mathematics (Science Metrix)

published in

• Reliable Computing  Journal

start page

• 15

end page

• 34

volume

• 23