Solving parametric linear systems: an experiment with constraint algebraic programming.

Clemens Ballarin Manuel Kauers

Published in: SIGSAM Bull. (2004)

Keyphrases

linear systems
sparse linear systems
dynamical systems
linear equations
sufficient conditions
programming language
preconditioned conjugate gradient method
real time
coefficient matrix
multi objective
linear combination