Pavel Váchal

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Richard Liska, Pavel Váchal: Quantifier elimination supported proofs in the numerical treatment of fluid flows. Appl. Algebra Eng. Commun. Comput. 18(6): 575-582 (2007)

2007
1	EE	Richard Liska, Pavel Váchal: Quantifier elimination supported proofs in the numerical treatment of fluid flows. Appl. Algebra Eng. Commun. Comput. 18(6): 575-582 (2007)

Coauthor Index