The asymptotic expansion and numerical verification method for linear and nonlinear initial value problem.

I. H. Abdel-Halim Hassan

Published in: Appl. Math. Comput. (2006)

Keyphrases

verification method
model checking
temporal logic
sensitivity analysis
computational complexity
data sets
learning algorithm
database systems
reinforcement learning
worst case
qualitative and quantitative
initial set
numerical analysis