Reasoning About a Class of Linear Systems of Equations in HOL.

Catia M. Angelo Luc J. M. Claesen Hugo De Man

Published in: TPHOLs (1994)

Keyphrases

linear systems
linear equations
sufficient conditions
dynamical systems
numerical solution
coefficient matrix
sparse linear systems
neural network
machine learning
genetic algorithm
dynamic programming
formal methods