A verified method for solving piecewise smooth initial value problems.

Published in: Int. J. Appl. Math. Comput. Sci. (2013)

Keyphrases