Abstract:

The six-dimension biomathematics model is studied. Interactions among the microbes are considered and the model in [1] [2] is improved. The problems on center manifold and Hopf bifurcation a re discussed .The center manifold and the criterion quantity of Hopf bifurcation are computed by using symbolic software based on computer algebra. The numerical examples are given. The idea and method on Automated Theorem proving can be applied to various complex biodynamical systems.

Key words: Ｑｕａｌｉｔａｔｉｖｅｔｈｅｏｒｙ, Ｅｑｕｉｌｉｂｒｉｕｍ ｐｏｉｎｔｓ, Ｃｅｎｔｅｒ ｍａｎｉｆｏｌｄ, Ｈｏｐｆｂｉｆｕｒｃａｔｉｏｎ, Ｃｏｍｐｕｔｅｒａｌｇｅｂｒａ