Skip to Main content Skip to Navigation
Conference papers

Stability Analysis of Numerical Schemes with a Variant Quantifier Elimination Algorithm over the Reals

Mohab Safey El Din 1
1 SALSA - Solvers for Algebraic Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01292631
Contributor : Lip6 Publications <>
Submitted on : Wednesday, March 23, 2016 - 2:48:47 PM
Last modification on : Thursday, March 5, 2020 - 4:54:36 PM

Identifiers

  • HAL Id : hal-01292631, version 1

Citation

Mohab Safey El Din. Stability Analysis of Numerical Schemes with a Variant Quantifier Elimination Algorithm over the Reals. Hybrid Methodologies for Symbolic-Numeric Computation, Nov 2010, Berkeley, United States. pp.1--1. ⟨hal-01292631⟩

Share

Metrics

Record views

122