東京大学工学部計数工学科 システム情報談話会
10月1日水曜日14時00分より，東大本郷キャンパスにおきまして，Prof. Thomas Sturm（Fakultat fur Informatik und Mathematik, Universitat Passau）のセミナーを，開催いたします． 本セミナーでは、Sturm先生には、生物学の非線形モデルにあらわれるHopf分岐と呼ばれる平衡点の分岐現象に対して、 数式処理の手法である限定記号消去法を用いた現象発生の解析法についてご講演いただきます. 題目や概要などの詳細は以下に記しておりますので，ご興味のある方はご参照いただけると幸いです．ご多忙中のところとは存じますが，皆様奮ってご参加をお待ちいたしております．日時：2008年10月1日（水）14:00〜15:30
場所：東京大学 本郷キャンパス 工学部6号館3F セミナー室A
(アクセス) http://www.u-tokyo.ac.jp/campusmap/cam01_04_07_j.html#hongo
講演者：Prof. Thomas Sturm (Fakultat fur Informatik und Mathematik, Universitat Passau)
題目：Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
概要： Symbolic methods to investigate Hopf bifurcations problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. However, the symbolic investigations have not been fully algorithmic but required a sequence of symbolic computation intervened with ad hoc insights and decisions made by a human. We discuss the use of generic methods to reduce questions on the existence of Hopf bifurcations in parameterized polynomial vector fields to quantifier elimination problems over the reals combined with the use of the quantifier elimination over the reals and simplification techniques available in Redlog. We can reconstruct most of the results given in the literature within a few seconds of computation time. As no tedious hand computations are involved we presume that the use of these generic methods will be a useful tool for investigating other examples.
連絡先: 原 辰次
(Shinji_Hara＠ipc.i.u-tokyo.ac.jp)
小島千昭 (Chiaki_Kojima＠ipc.i.u-tokyo.ac.jp)