 | 2010 |
|---|
| 8 |       | Richard Liska,
Mikhail Yu. Shashkov,
Pavel Váchal,
Burton Wendroff:
Optimization-based synchronized flux-corrected conservative interpolation (remapping) of mass and momentum for arbitrary Lagrangian-Eulerian methods.
J. Comput. Physics 229(5): 1467-1497 (2010) |
| 2007 |
|---|
| 7 | | 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 | | 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 L. Steinberg:
Testing Stability by Quantifier Elimination.
J. Symb. Comput. 24(2): 161-187 (1997) |
| 1993 |
|---|
| 3 | | Richard Liska,
Stanly L. Steinberg:
Applying Quantifier Elimination to Stability Analysis of Difference Schemes.
Comput. J. 36(5): 497-503 (1993) |
| 1991 |
|---|
| 2 | | Richard Liska,
Mikhail Yu. Shashkov:
Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes.
ISSAC 1991: 419-426 |
| 1990 |
|---|
| 1 | | Richard Liska,
L. Drsda:
FIDE: a REDUCE package for automation of FInite difference method for solving pDE.
ISSAC 1990: 169-176 |
Data released under the ODC-BY 1.0 license — See also our legal information page