【数学推理】 Mathematical Reasoning with Diagrams : From Intuition to Automation

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Mathematical Reasoning with Diagrams: From Intuition to Automation (Center for the Study of Language and Information Publication Lecture Notes)

by M Jamnik (Author)



Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system called Diamond which allows users to prove arithmetical theorems using diagrams."

本帖隐藏的内容

原版 PDF：
Mathematical Reasoning with Diagrams_From Intuition to Automation.pdf (1.76 MB, 需要: 10 个论坛币)

2017-1-20 16:19:28 上传

需要: 10 个论坛币  [购买]

PDF 压缩包：
Mathematical Reasoning with Diagrams_From Intuition to Automation.zip (1.48 MB, 需要: 10 个论坛币) 本附件包括：

• Mathematical Reasoning with Diagrams_From Intuition to Automation.pdf

2017-1-20 16:19:24 上传

需要: 10 个论坛币  [购买]

  如果你喜欢我分享的书籍，请关注我：
https://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=5975757

订阅我的文库：

【金融 + 经济 + 商学 + 国际政治】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3257

【数学 + 统计 + 计算机编程】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3258

【历史 + 心理学 + 社会自然科学】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3259

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏9 回帖

关键词：Mathematical mathematica Automation Mathematic Intuition computer offering system called formal

........................

看看  看看 ，，，

Applied Multivariate Statistical Concepts

thanks for sharing

......

楼主超赞的，给楼主点赞!!!!谢谢分享！！！

水电费该不会

the great taiwan bubble