Publication:4329974
From MaRDI portal
zbMath0985.68755MaRDI QIDQ4329974
Hirokazu Anai, Volker Weispfenning
Publication date: 15 May 2002
68W30: Symbolic computation and algebraic computation
03C10: Quantifier elimination, model completeness, and related topics
Related Items
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