Conference Papers
Year :
Lip6 Publications : Connect in order to contact the contributor
https://hal.science/hal-01292631
Submitted on : Wednesday, March 23, 2016-2:48:47 PM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM
Dates and versions
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⟩
Collections
86
View
0
Download