O poszukiwaniu igły w stogu siana

Na wykładzie zostaną omówione podstawy techniki obliczeniowej zwanej analizą przedziałową oraz jej zastosowanie w obliczeniach komputerowych do dowodzenia twierdzeń i testowania hipotez matematycznych takich jak:  problem Keplera, czyli jak pakować pomarańcze w skrzynkach, aby zmieścić ich jak najwięcej, stabilność Układu Słonecznego, czyli czy planety krążąc dookoła Słońca w przyszłości nie pozderzają się, czy wreszcie testy hipotezy Riemanna, wciąż hipotezy, nie twierdzenia, będącej jednym z najsłynniejszym nierozwiązanych problemów matematycznych.