Conferences  >  Mathematics  >  Automated Theorem Proving  >  United States

Select a location
1
Summer School — Computer Assisted Proofs in Applied Mathematics
07 Jul 2025 - 18 Jul 2025 • Berkeley, California, United States
Organizer:
Simons Laufer Mathematical Sciences Institute (SLMath)
Abstract:
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.
Event listing ID:
1653941


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 4 February 2025