Learning proofs from refutations

First Page		Document Content
Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics		Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Download Document from Source Website File Size: 67,64 KB Share Document on Facebook

	A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development Scott Frame and John W. Coffey Department of Computer Science University of West Florida Pensacola, FL DocID: 1uXfb - View Document
	Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4 DocID: 1uNkl - View Document
	Open Software and Open Textbooks for Mathematics Korean Mathematical Society Invited Lecture Rob Beezer April 29, 2017 DocID: 1tXMw - View Document
	MAS115 PRESENTATION LAB 1 In this lab we will use a software bundle called MiKTeX (pronounced ‘miktek’) to create basic mathematical documents. Log on, then check to see if MiKTeX is installed on the computer by typ DocID: 1tEBq - View Document
	8•November1984 SIAM NEWS Computational Sciences Choices for Mathematical Wordprocessing Software In this article, P. K. Wong discusses some issues involved DocID: 1sYDk - View Document