Green's open problems
The 65 problem files in FormalConjectures/GreensOpenProblems that state a research or textbook statement, at commit 2055e5ad, one article each.
Their docstrings and Lean statements are quoted from Formal Conjectures (Google DeepMind) at that commit, under its Apache-2.0 license.
Ben Green's Open Problem 1 to Green's Open Problem 27
- Ben Green's Open Problem 1
- Ben Green's Open Problem 2
- Ben Green's Open Problem 3
- Ben Green's Open Problem 4
- Ben Green's Open Problem 5
- Ben Green's Open Problem 7
- Green's Open Problem 9
- Green's Open Problem 12
- Ben Green's Open Problem 14
- Green's Open Problem 15
- Ben Green's Open Problem 16
- Ben Green's Open Problem 18
- Ben Green's Open Problem 19
- Ben Green's Open Problem 21
- Green's Open Problem 22
- Green's Open Problem 23
- Green's Open Problem 24
- Green's Open Problem 25
- Green's Open Problem 26
- Green's Open Problem 27
Green's Open Problem 28 to Ben Green's Open Problem 50
- Green's Open Problem 28
- Ben Green's Open Problem 29
- Ben Green's Open Problem 31
- Green's Open Problem 32
- Ben Green's Open Problem 33
- Ben Green's Open Problem 35
- Green's Open Problem 36
- Ben Green's Open Problem 37
- Green's Open Problem 38
- Green's Open Problem 39
- Ben Green's Open Problem 40
- Ben Green's Open Problem 41
- Green's Open Problem 42
- Ben Green's Open Problem 43
- Green's Open Problem 44
- Ben Green's Open Problem 45
- Ben Green's Open Problem 46
- Green's Open Problem 47
- Green's Open Problem 49
- Ben Green's Open Problem 50
Green's Open Problem 51 to Green's Open Problem 85
- Green's Open Problem 51
- Green's Open Problem 52
- Green's Open Problem 53
- Ben Green's Open Problem 54
- Ben Green's Open Problem 57
- Ben Green's Open Problem 58
- Ben Green's Open Problem 60
- Ben Green's Open Problem 61
- Ben Green's Open Problem 62
- Green's Open Problem 64
- Ben Green's Open Problem 65
- Ben Green's Open Problem 66
- Ben Green's Open Problem 68
- Ben Green's Open Problem 70
- Ben Green's Open Problem 72
- Ben Green's Open Problem 75
- Ben Green's Open Problem 76
- Ben Green's Open Problem 77
- Ben Green's Open Problem 82
- Green's Open Problem 85
Green's Open Problem 87 to Ben Green's Open Problem 97
- Green's Open Problem 87
- Ben Green's Open Problem 88
- Ben Green's Open Problem 93
- Ben Green's Open Problem 94
- Ben Green's Open Problem 97
No article: 2 files here state no research or textbook statement: Ben Green's Open Problem 63, Ben Green's Open Problem 81.
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.