Stability analysis by quantifier elimination
Year of publication: |
1996
|
---|---|
Authors: | Steinberg, Stanly ; Liska, Richard |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 42.1996, 4, p. 629-638
|
Publisher: |
Elsevier |
Subject: | Partial differential equations | Difference schemes | Stability | Quantifier elimination |
-
Symbolic-numerical computation of the stability regions for Jameson's schemes
Ganzha, V.G., (1996)
-
The Generic Properties of Equilibrium Correction Mechanisms
Bårdsen, Gunnar, (1999)
-
Linearizations and Equilibrium Correction Models
Bårdsen, Gunnar, (2004)
- More ...
-
Support-operators method for PDE discretization: symbolic algorithms and realization
Liska, Richard, (1993)
-
Liska, Richard, (2004)
-
Non-standard Applications of Computer Algebra II
Steinberg, Stanly, (2000)
- More ...