Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Vereinigte Staaten

Wählen Sie ein Land aus
1
Summer School — Computer Assisted Proofs in Applied Mathematics
07. Jul 2025 - 18. Jul 2025 • Berkeley, Kalifornien, Vereinigte Staaten
Veranstalter:
Simons Laufer Mathematical Sciences Institute (SLMath)
Zusammenfassung:
Computer assisted proofs are at the forefront of modern mathematics, and have led to many important recent mathematical advances. They provide a way of melding analytical techniques with numerical methods, in order to provide rigorous statements for mathematical models that could not be treated by either method alone. In this summer school, students will review standard computational and analytical techniques, learn to combine these techniques with more specialized methods of interval arithmetic and automatic differentiation, and apply these methods to establish rigorous results in otherwise intractable problems.
Eintrags-ID:
1653996


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 4. Februar 2025