scientific article; zbMATH DE number 1741317
From MaRDI portal
Publication:4329974
zbMath0985.68755MaRDI QIDQ4329974
Hirokazu Anai, Volker Weispfenning
Publication date: 15 May 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Inclusion dynamics hybrid automata ⋮ Special algorithm for stability analysis of multistable biological regulatory systems
This page was built for publication:
