Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture - Détails de la publication

Production Scientifique P.S.

Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture

Auteur

M’hammed El Kahoui, Andreas Weber

Revue

Journal of Symbolic Computation

Année

2000

DOI

10.1006/jsco.1999.0353

Chercheur

El Kahoui M'hammed

Voir le profil du chercheur →