投稿日:2008/09/30投稿者:小島千昭
科学技術振興機構 (JST) 「数値/数式ハイブリッド計算に基づくロバスト
最適化プラットフォームの構築」にて現在招聘しておりますProf. Thomas 
Sturm(Universitat Passau・ドイツ)のセミナーを,10/1(水)14時より
東京大学本郷キャンパスにおきまして,東京大学計数工学科システム情報
談話会として下記の内容にて開催いたします.
Sturm先生は数式処理をご専門としており,以下のHPにて紹介されております.
  http://staff.fim.uni-passau.de/~sturm/
本セミナーで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)


%-----------------------------------------------------------------%