scientific article; zbMATH DE number 1741317

zbMATH Open0985.68755MaRDI QIDQ4329974FDOQ4329974

Authors: Hirokazu Anai, Volker Weispfenning 

Publication date: 15 May 2002

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Cited In (4)

• Inclusion dynamics hybrid automata
• Hybridization methods for the analysis of nonlinear systems
• Special algorithm for stability analysis of multistable biological regulatory systems
• Synthesizing invariant barrier certificates via difference-of-convex programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329974)