APP下载
搜索
史上最大数学证明:数据达200 T
2016-12-10
中学生数理化·八年级数学人教版
订阅
2016年9期
收藏
关键词:
科学家
证明
计算机
美国得克萨斯大学的三位计算机科学家日前宣布.他们完成了世界上最大的数学证明:完整的证明有200T大小.供人检验的部分压缩后也有68G.
猜你喜欢
科学家
证明
计算机
获奖证明
计算机操作系统
判断或证明等差数列、等比数列
假如我是科学家
基于计算机自然语言处理的机器翻译技术应用与简介
信息系统审计中计算机审计的应用
与科学家面对面
证明我们的存在
当天才遇上科学家(二)
当天才遇上科学家(一)
杂志排行
《师道·教研》
2024年10期
《思维与智慧·上半月》
2024年11期
《现代工业经济和信息化》
2024年2期
《微型小说月报》
2024年10期
《工业微生物》
2024年1期
《雪莲》
2024年9期
《世界博览》
2024年21期
《中小企业管理与科技》
2024年6期
《现代食品》
2024年4期
《卫生职业教育》
2024年10期
中学生数理化·八年级数学人教版
2016年9期
中学生数理化·八年级数学人教版
的其它文章
说说三角形中线的惯常用法
《三角形全等的判定》测试题
梦想从脱鞋起步
判定三角形全等的三个基本定理
一类“倒置”的全等直角三角形
学习全等三角形“三注意”