| |
| 2007 | ||
|---|---|---|
| 7 | 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) |
| 2004 | ||
| 6 | EE | Richard Liska, Mikhail Yu. Shashkov, Victor G. Ganzha: Analysis and optimization of inner products for mimetic finite difference methods on a triangular grid. Mathematics and Computers in Simulation 67(1-2): 55-66 (2004) |
| 1998 | ||
| 5 | Ladislav Kocbach, Richard Liska: Generation and Verification of Algorithms for Symbolic-Numeric Processing. J. Symb. Comput. 25(3): 367-382 (1998) | |
| 1997 | ||
| 4 | Hoon Hong, Richard Liska, Stanly Steinberg: Testing Stability by Quantifier Elimination. J. Symb. Comput. 24(2): 161-187 (1997) | |
| 1993 | ||
| 3 | Richard Liska, Stanly Steinberg: Applying Quantifier Elimination to Stability Analysis of Difference Schemes. Comput. J. 36(5): 497-503 (1993) | |
| 1991 | ||
| 2 | EE | Richard Liska, Michail Yu. Shashkov: Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes. ISSAC 1991: 419-426 |
| 1990 | ||
| 1 | EE | Richard Liska, L. Drsda: FIDE: a REDUCE package for automation of FInite difference method for solving pDE. ISSAC 1990: 169-176 |
| 1 | L. Drsda | [1] |
| 2 | Victor G. Ganzha | [6] |
| 3 | Hoon Hong | [4] |
| 4 | Ladislav Kocbach | [5] |
| 5 | Michail Yu. Shashkov | [2] |
| 6 | Mikhail Yu. Shashkov | [6] |
| 7 | Stanly Steinberg | [3] [4] |
| 8 | Pavel Váchal | [7] |