Fast verification of solutions of matrix equations.

Shin'ichi Oishi Siegfried M. Rump

Published in: Numerische Mathematik (2002)

Keyphrases

polynomial equations
boundary value problem
data sets
mathematical model
model checking
closed form solutions
real time
learning algorithm
image segmentation
formal verification
finite difference