El Kahoui, M’hammed; Weber, Andreas Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. (English) Zbl 0965.65137 J. Symb. Comput. 30, No. 2, 161-179 (2000). Reviewer: Henri Schurz (Minneapolis) MSC: 65P30 68W30 37M20 × Cite Format Result Cite Review PDF Full Text: DOI
Skórnik, Krystyna; Wloka, Joseph Some remarks concerning the \(m\)-reduction of differential equations. (English) Zbl 1019.12003 Integral Transforms Spec. Funct. 9, No. 1, 75-80 (2000). MSC: 12H05 34M50 34A05 44A40 × Cite Format Result Cite Review PDF Full Text: DOI