小不点搜索
登录
一类新的数学，在计算机实现用类型论求解数学问题的系统
收藏
举报
www.ixigua.com
2021-4-14 13:14
[视频时长] 955
[视频作者] 遇见数学
回复
编辑
⇧顶
⇩沉
影音视频访问链接
以下链接为影音视频“一类新的数学，在计算机实现用类型论求解数学问题的系统”在线访问地址，点击链接就可以访问查看啦
www.ixigua.com***266119
www.ixigua.com
计算机用类型论求解数学问题
合集
说两句
X
![[图]](/static/site/ixigua.png)
![[图]一类新的数学，在计算机实现用类型论求解数学问题的系统](http://p9.bdxiguaimg.com/img/tos-cn-i-0004/311a0a18245f403092ee03c4c31b89eb~c5_q75_864x486.jpeg)