Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Großbritannien

Wählen Sie ein Land aus
1
Workshop — Validated numerics for computer-assisted proofs
06. Jul 2026 - 10. Jul 2026 • ICMS, Bayes Centre, Edinburgh , Großbritannien
Veranstalter:
The International Centre for Mathematical Sciences (ICMS)
Zusammenfassung:
Validated numerics, rooted in Moore’s interval analysis, uses the arithmetic of real intervals to rigorously bound nonlinear functions and control floating-point errors in computations. These methods extend naturally to higher-dimensional and function spaces, forming the basis of rigorous numerical functional analysis. Combined with set-oriented techniques, validated numerics has enabled computer-assisted proofs to address a variety of problems in dynamical systems. Recent advances in computing, and wider availability of platforms that provide support, have led to a resurgence of research activity in the field of validated numerics (and application to computer-assisted proofs).
Eintrags-ID:
1670125


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 22. Juli 2025