Computer-assisted proofs in PDE: a survey
J Gómez-Serrano - SeMA Journal, 2019 - Springer
Computer-assisted proofs in PDE: a survey | SpringerLink Skip to main content
Advertisement SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home …
Advertisement SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home …
[图书][B] Variation et optimisation de formes: une analyse géométrique
A Henrot, M Pierre - 2005 - books.google.com
Ce livre est une initiation aux approches modernes de l'optimisation mathématique de
formes. Il s' appuie sur les seules connaissances de première année de Master de …
formes. Il s' appuie sur les seules connaissances de première année de Master de …
The parameterization method for invariant manifolds
Poincaré's program for the global analysis of a dynamical system starts by considering
simple solutions, such as equilibria and periodic orbits, together with their corresponding …
simple solutions, such as equilibria and periodic orbits, together with their corresponding …
[图书][B] Interval analysis: and automatic result verification
G Mayer - 2017 - books.google.com
This self-contained text is a step-by-step introduction and a complete overview of interval
computation and result verification, a subject whose importance has steadily increased over …
computation and result verification, a subject whose importance has steadily increased over …
Proof of the double bubble conjecture
Proof of the Double Bubble Conjecture Page 1 Annals of Mathematics, 155 (2002), 459-489
Proof of the Double Bubble Conjecture By MICHAEL HUTCHINGS, FRANK MORGAN …
Proof of the Double Bubble Conjecture By MICHAEL HUTCHINGS, FRANK MORGAN …
Rigorous computer-assisted application of KAM theory: a modern approach
In this paper, we present and illustrate a general methodology to apply KAM theory in
particular problems, based on an a posteriori approach. We focus on the existence of real …
particular problems, based on an a posteriori approach. We focus on the existence of real …
[图书][B] The Wulff Crystal in Ising and Percolation Models: Ecole d'Eté de Probabilités de Saint-Flour XXXIV-2004
R Cerf - 2006 - Springer
This chapter is devoted to volume large deviation principles, as opposed to surface large
deviation principles. While the former are reminiscent of the case of iid random variables …
deviation principles. While the former are reminiscent of the case of iid random variables …
The isoperimetric problem on surfaces
H Howards, M Hutchings, F Morgan - The American mathematical …, 1999 - Taylor & Francis
1. INTRODUCTION. The isoperimetric problem on a surface is to enclose a given area with
the shortest possible curve. The classical isoperimetric theorem asserts that in the plane the …
the shortest possible curve. The classical isoperimetric theorem asserts that in the plane the …
Computing Spectra--On the Solvability Complexity Index Hierarchy and Towers of Algorithms
J Ben-Artzi, MJ Colbrook, AC Hansen… - arXiv preprint arXiv …, 2015 - arxiv.org
This paper establishes some of the fundamental barriers in the theory of computations and
finally settles the long-standing computational spectral problem. That is to determine the …
finally settles the long-standing computational spectral problem. That is to determine the …
The Structure of Isoperimetric Bubbles on and
The multi-bubble isoperimetric conjecture in $ n $-dimensional Euclidean and spherical
spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter …
spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter …