APP下载

史上最大数学证明:数据达200 T

2016-12-10

关键词:科学家证明计算机

美国得克萨斯大学的三位计算机科学家日前宣布.他们完成了世界上最大的数学证明:完整的证明有200T大小.供人检验的部分压缩后也有68G.

猜你喜欢

科学家证明计算机
获奖证明
计算机操作系统
判断或证明等差数列、等比数列
假如我是科学家
基于计算机自然语言处理的机器翻译技术应用与简介
信息系统审计中计算机审计的应用
与科学家面对面
证明我们的存在
当天才遇上科学家(二)
当天才遇上科学家(一)