Deciding Hopf Bifurcations by Quantifier Elimination in a Software-Component Architecture
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 }