Introduction
1
Loops
▶
1.1
Introduction
1.2
Preliminaries
1.3
Constructing loops
2
Local theory of convex integration
▶
2.1
Key construction
2.2
The main inductive step
2.3
Ample differential relations
3
Global theory of open and ample relations
▶
3.1
Preliminaries
3.2
First order differential relations
3.3
The \(h\)-principle for open and ample differential relations
Dependency graph
Project home
The sphere eversion project
Patrick Massot
Introduction
1
Loops
1.1
Introduction
1.2
Preliminaries
1.3
Constructing loops
2
Local theory of convex integration
2.1
Key construction
2.2
The main inductive step
2.3
Ample differential relations
3
Global theory of open and ample relations
3.1
Preliminaries
3.2
First order differential relations
3.3
The \(h\)-principle for open and ample differential relations