Elimination of First Order Errors in Shock Calculations.

Gunilla Kreiss Gunilla Efraimsson Jan Nordström

Published in: SIAM J. Numer. Anal. (2001)

Keyphrases

first order logic
higher order
stochastic dominance
databases
real world
feature selection
case study
quantifier elimination