[Club2] Einladung: Formalisation of Interval Methods for Nonlinear Root-Finding - Mi 26. Mai 2021 14:00 - 14:30 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)

[piller at in.tum.de]

Sie wurden zum folgenden Termin eingeladen.

Titel: Formalisation of Interval Methods for Nonlinear Root-Finding
Speaker: Daniel SeidlType: Bachelor's Thesis PresentationAbstract: The  
interval Newtonmethod is an extension of the well-known Newton's method for  
finding roots ofdifferentiable functions. While the latter approximates at  
most one root of afunction, the interval Newton method finds all roots in a  
given interval. Iformalised this method in Isabelle/HOL using amongst  
others the Approximationpackage.
Wann: Mi 26. Mai 2021 14:00 – 14:30 Mitteleuropäische Zeit - Berlin
Wo: https://tinyurl.com/ls21coffee
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * piller at in.tum.de- Veranstalter
     * daniel.seidl at tum.de
     * club2 at mailbroy.informatik.tu-muenchen.de - Optional

Ihre Anwesenheit ist optional.

Termininformationen:  
https://calendar.google.com/calendar/event?action=VIEW&eid=NHZmOGpuNWtoc2ZhYjBocDdmNzVzMWg3NGggY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWI3NjZlZTRkZDUzNTFhY2RmOWZiNjEyYjk0Yzg3MDczYmI0MDRmZjk&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://calendar.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,  
da Sie ein Gast bei diesem Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter  
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre  
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210519/edacee4a/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2000 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210519/edacee4a/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2042 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210519/edacee4a/attachment.bin>