![General topology / Mathematics / ACL2 / Lisp / Compact space / Automated theorem proving / Software / Mathematical logic / Model theory General topology / Mathematics / ACL2 / Lisp / Compact space / Automated theorem proving / Software / Mathematical logic / Model theory](https://www.pdfsearch.io/img/88c4acde54d1045235a636ee5f7ff62f.jpg) Date: 2015-12-15 12:07:17General topology Mathematics ACL2 Lisp Compact space Automated theorem proving Software Mathematical logic Model theory | | Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:Add to Reading ListSource URL: www.wolframfoundation.orgDownload Document from Source Website File Size: 365,67 KBShare Document on Facebook
|