Stability Analysis of Numerical Schemes with a Variant Quantifier Elimination Algorithm over the Reals - Archive ouverte HAL Access content directly
Conference Papers Year :

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

No file

Dates and versions

hal-01292631 , version 1 (23-03-2016)

Identifiers

  • HAL Id : hal-01292631 , version 1

Cite

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⟩
86 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More