Top > Seminars & Events > Seminars > Guaranteed reliability computational procedures...

Seminars

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.