Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Open problem in mathematics
Home
Mathematics
Area of mathematics
Formalization of mathematics
Formal proof
OurBigBook.com
words: 109
articles: 6
Table of contents
109
6
Conjecture
Open problem in mathematics
109
5
Famous conjecture
Conjecture
90
4
Collatz conjecture
(1937-)
Famous conjecture
57
3
Collatz-like problem
Collatz conjecture
11
The Busy Beaver Competition: a historical survey by Pascal Michel
(2013)
Collatz conjecture
Erdős' conjecture on powers of 2
Collatz conjecture
19
Tagged
(1)
Sum of three cubes
Ancestors
(5)
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Conjecture