Verification on the Ensemble of Independent Numerical Solutions.

Aleksey K. Alekseev Alexander E. Bondarev Artem E. Kuvshinnikov

Published in: ICCS (5) (2019)

Keyphrases

numerical solution
partial differential equations
low order
differential equations
model checking
finite element
nonlinear equations
finite difference
exact solution
linear systems
search space
sufficient conditions
image denoising
systems of ordinary differential equations