Institute of Mathematics for Industry

Seminar



List All(1087) Today and tomorrow's seminars(0)

Guaranteed reliability computational procedures to prove mathematical theorems


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.