Title:Computer Assisted Proof of Nonlinear Equations
Dates
July 27, 29, August 3, 5 , 2016
Venue
- July 27 14:00-17:00: Room 405, Bldg. 63
- July 29 14:00-17:00: Room 412, Bldg. 61
- August
2-> 3 14:00-17:00: Room 410, Bldg. 61 - August
4-> 5 14:00-17:00: Room 04-08, Bldg. 63
Language
English