On the numerical verification of the asymptotic expansion of duffing's equation.

Suheil A. Khuri Shishen Xie

Published in: Int. J. Comput. Math. (1999)

Keyphrases

numerical methods
finite difference
model checking
worst case
sensitivity analysis
differential equations
formal verification
functional verification
multiscale
asynchronous circuits
image processing
face verification
numerical data
numerical solution
nonlinear equations