Description of ActivityInvited to present results on computer assisted proofs of existence for renormalisation fixed points as part of the CRM CAMP project.
"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."
|Period||29 Jun 2021|
|Held at||Centre de Recherches Mathématiques, Université de Montréal, Québec, Canada|
|Degree of Recognition||International|
Documents & Links
Presented work on computer-assisted proofs for renormalisation fixed points at the cross-disciplinary School of Mathematics and Physics Research Colloquium
Activity: Talk or presentation types › Oral presentation