“…By using DV, RAGlib 5 (for obtaining sample points), and our program for checking the stability of steady states at each sample points, we were able to obtain, after about 1,228 s, the results shown in Table 5, where R 3 , R 4 , and R 5 are polynomials consisting of 20, 125, and 6 terms and of degree 12, 32, and 5 in s and h, respectively. We have also analyzed the stability and bifurcations of the discrete Bonhöffer-van der Pol model [46] and a discretized model of the Cdc2-cyclin B/Wee1 system [36]. Our experiments demonstrate the feasibility of algebraic methods for stability and bifurcation analysis of discrete biological models.…”