Skip to content

Centre Recherches Mathematiques Computer-Assisted Mathematical Proofs in Nonlinear Analysis

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Dr Andrew Burbanks (Participant), 23 Jun 202029 Jun 2021

Participant in the Centre de Recherches Mathematiques (CRM) project on Computer-Assisted Mathematical Proofs (CAMP) in Nonlinear Analysis. "The main goal of the CRM CAMP project is to bring together the worldwide community of researchers in the area of computer-assisted methods of proof, especially those working in the areas of dynamical systems theory and nonlinear analysis. This community has enjoyed dramatic growth over the last three decades, and has developed methods to resolve a number of important unsolved problems in mathematics. Yet participating researchers are scattered around the globe, and there is a growing need for a regular forum for discussion and dissemination of results. This is especially important in current time of unprecedented travel interruption."
23 Jun 202029 Jun 2021

Centre Recherches Mathematiques Computer-Assisted Mathematical Proofs in Nonlinear Analysis

Abbreviated titleCRM CAMP in Nonlinear Analysis
Duration23 Jun 2020 → …
Location of eventUniversité de Montréal
CityMontréal
CountryCanada
Web address (URL)
Degree of recognitionInternational event

Event: Seminar

Related information

Relations

ID: 28111706