Publications of Liska, Richard sorted by journal and type
Appl. Algebra Engrg. Comm. Comput.
Quantifier elimination supported proofs in the numerical treatment of fluid flows (2007), in: Appl. Algebra Engrg. Comm. Comput., 18:6(575--582) | and ,
Communications in Computational Physics
Enforcing the discrete maximum principle for linear finite element solutions of second-order elliptic problems (2008), in: Communications in Computational Physics, 3:4(852--877) | and ,
Publications of type Phdthesis
2008
Rezoning and Remapping for ALE Simulations in Fluid Dynamics and Plasma Physics, KFE FJFI, CVUT, 2008 | ,