AAAAAA
Results:
1-10
|
Results: 10
Authors:
KOCBACH L
LISKA R
Citation: L. Kocbach et R. Liska, GENERATION AND VERIFICATION OF ALGORITHMS FOR SYMBOLIC-NUMERIC PROCESSING, Journal of symbolic computation, 25(3), 1998, pp. 367-382
Authors:
LISKA R
WENDROFF B
Citation: R. Liska et B. Wendroff, COMPOSITE SCHEMES FOR CONSERVATION-LAWS, SIAM journal on numerical analysis (Print), 35(6), 1998, pp. 2250-2271
Authors:
HONG H
LISKA R
Citation: H. Hong et R. Liska, SPECIAL ISSUE ON APPLICATION OF QUANTIFIER ELIMINATION - FOREWORD, Journal of symbolic computation, 24(2), 1997, pp. 123-123
Authors:
HONG H
LISKA R
STEINBERG S
Citation: H. Hong et al., TESTING STABILITY BY QUANTIFIER ELIMINATION, Journal of symbolic computation, 24(2), 1997, pp. 161-187
Authors:
LISKA R
WENDROFF B
Citation: R. Liska et B. Wendroff, ANALYSIS AND COMPUTATION WITH STRATIFIED FLUID MODELS, Journal of computational physics, 137(1), 1997, pp. 212-244
Authors:
STEINBERG S
LISKA R
Citation: S. Steinberg et R. Liska, STABILITY ANALYSIS BY QUANTIFIER ELIMINATION, Mathematics and computers in simulation, 42(4-6), 1996, pp. 629-638
Authors:
LISKA R
MARGOLIN L
WENDROFF B
Citation: R. Liska et al., NONHYDROSTATIC 2-LAYER MODELS OF INCOMPRESSIBLE-FLOW, Computers & mathematics with applications, 29(9), 1995, pp. 25-37
Authors:
KOCBACH L
LISKA R
Citation: L. Kocbach et R. Liska, CLOSED-FORM FORMULA FOR THE EXCHANGE INTEGRALS IN THE IMPACT-PARAMETER TREATMENT OF HEAVY-PARTICLE COLLISIONS, Journal of physics. B, Atomic molecular and optical physics, 27(18), 1994, pp. 120000619-120000624
Authors:
LIMPOUCH J
DRSKA L
LISKA R
Citation: J. Limpouch et al., FOKKER-PLANCK SIMULATIONS OF INTERACTIONS OF FEMTOSECOND LASER-PULSESWITH DENSE-PLASMAS, Laser and particle beams, 12(1), 1994, pp. 101-110
Authors:
LISKA R
STEINBERG S
Citation: R. Liska et S. Steinberg, APPLYING QUANTIFIER ELIMINATION TO STABILITY ANALYSIS OF DIFFERENCE-SCHEMES, Computer journal, 36(5), 1993, pp. 497-503
Risultati:
1-10
|