Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Terence Tao
Home
Mathematics
Mathematician
List of mathematicians
OurBigBook.com
Words: 29
The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as
formal proof systems
and
automated theorem proving
. For that, kudos.
Figure 9.
Terence Tao
.
Source
.
Ancestors
(4)
List of mathematicians
Mathematician
Mathematics
Home
Incoming links
(1)
Website front-end for a mathematical formal proof system