Interactive Theorem Proving - 7th International Conference, ITP

文件大小:14MB 分类:文档书籍 创建时间:2018-05-26 热度:42

Fermat's Last Theorem-Singh (lnw Adam).epub

文件大小:1MB 分类:文档书籍 创建时间:2018-05-11 热度:40

The Virial Theorem in Stellar Astrophysics - G. W. Collins

文件大小:2MB 分类:文档书籍 创建时间:2018-03-05 热度:37

The Four-Color Theorem and Basic Graph Theory

文件大小:30MB 分类:文档书籍 创建时间:2020-05-31 热度:35

The Virial Theorem in Stellar Astrophysics - G. W. Theory of the Earth - D.

文件大小:32MB 分类:文档书籍 创建时间:2018-05-09 热度:27

The Virial Theorem in Stellar Astrophysics - G. W. Collins

文件大小:2MB 分类:文档书籍 创建时间:2018-03-14 热度:26

The Four-Color Theorem and Basic Graph Theory 2020

文件大小:10MB 分类:文档书籍 创建时间:2020-07-03 热度:17

When Is There a Representer Theorem? Vector Versus Matrix

文件大小:192KB 分类:文档书籍 创建时间:2020-02-02 热度:15

Birth of a Theorem A Mathematical Adventure by Cédric Villani[M.J].epub

文件大小:2MB 分类:文档书籍 创建时间:2018-04-13 热度:13

On the Representer Theorem and Equivalent Degrees of Freedom of

文件大小:452KB 分类:文档书籍 创建时间:2020-02-10 热度:10