Hold Date

2011-11-17 10:30〜2011-11-17 11:00

Place

1st floor lecture room 11, Open Learning Plaza , Ito Campus

Object person

　

Speaker

Bánhelyi Balázs (University of Szeged), Csendes Tibor (University of Szeged)

summary:
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.