Guaranteed reliability computational procedures to prove mathematical theorems
九州大学数値解析セミナー
開催期間
2011.11.17(木)
10:30 ~ 11:00
10:30 ~ 11:00
場所
伊都キャンパス 総合学習プラザ1階 工学部第11講義室
講演者
Bánhelyi Balázs (University of Szeged), Csendes Tibor (University of Szeged)
概要
Guaranteed reliability computational procedures to prove mathematical theorems
The talk will summarize those methods we have applied to find optimal circle packings, circle coverings, chaotic places of dynamical systems, and to prove the Wright conjecture on delayed differential equations.