Publications of Váchal, Pavel sorted by first author
L
| and , Quantifier elimination supported proofs in the numerical treatment of fluid flows (2007), in: Appl. Algebra Engrg. Comm. Comput., 18:6(575--582) |
V
| , Rezoning and Remapping for ALE Simulations in Fluid Dynamics and Plasma Physics, KFE FJFI, CVUT, 2008 |