Jelenlegi hely

Videos

András Csallner, classic guitar in the renowated Synagoge
Kaname Matsue: Rigorous numerics of blow-up separatrix in autonomous ODEs
Nobito Yamamoto and Koki Nitta: A numerical verification method on time-global solutions of autonomous systems of complex functions
Matyáš Lorenc: B-matrices and their generalizations in the interval setting
Auguste Bourgois, Amine Chaabouni, Andreas Rauh and Luc Jaulin: Proving the stability of navigation cycles
Marko Lange and Siegfried M. Rump: Verified inclusions of a nearest matrix of specified rank via a generalization of Wedin’s sin(θ) theorem
Nathalie Revol: Convergent Real Matrix Powers with Divergent Results in Interval Arithmetic
Ekaterina Auer and Andreas Rauh: Parameter Identification for Cooperative SOFC Models on the GPU
Naoya Yamanaka and Takeo Uramoto: Verified algorithm for high-order partial derivatives using nilpotent matrix
Tamás Dózsa: Inverses of Rational Functions