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

M. El Kahoui and Andreas Weber

In: Journal of Symbolic Computation (Aug. 2000), 30:2(161-179)

Bibtex

@ARTICLE{KahouiWeber99a,
    author = {El Kahoui, M. and Weber, Andreas},
     pages = {161--179},
     title = {Deciding Hopf Bifurcations by Quantifier Elimination in a Software-Component Architecture},
   journal = {Journal of Symbolic Computation},
    volume = {30},
    number = {2},
      year = {2000},
     month = aug
}