Quantifier elimination supported proofs in the numerical treatment of fluid flows
Richard Liska, Pavel VáchalVolume:
18
Language:
english
Pages:
8
DOI:
10.1007/s00200-007-0057-6
Date:
December, 2007
File:
PDF, 1.05 MB
english, 2007