<--- Back to Details
First PageDocument Content
Mathematical logic / Logic / Mathematics / Automated theorem proving / Proof theory / Logic in computer science / Proof assistants / Type theory / Isabelle / Mathematical proof / Automated reasoning / Proof
Date: 2018-08-15 07:19:07
Mathematical logic
Logic
Mathematics
Automated theorem proving
Proof theory
Logic in computer science
Proof assistants
Type theory
Isabelle
Mathematical proof
Automated reasoning
Proof

Add to Reading List

Source URL: isabelle.in.tum.de

Download Document from Source Website

File Size: 1,56 MB

Share Document on Facebook

Similar Documents

Proof of a CWMO problem generalized Darij Grinberg version 7 September 2009 The following result is due to Dan Schwarz. It was proposed as problem 4 (c) for the 9th grade of the Romanian Mathematical OlympiadIt wa

DocID: 1ubUd - View Document

MATHEMATICAL ENGINEERING TECHNICAL REPORTS A Proof of the M-Convex Intersection Theorem

DocID: 1tZxZ - View Document

If Mathematical Proof is a Game, What are the States and Moves? David McAllester 1

DocID: 1tNdk - View Document

Proof, beliefs, and algorithms through the lens of sum-of-squares Mathematical background and pre work Mathematical background We will not assume a lot of mathematical background in this course but will use some basic n

DocID: 1t42e - View Document

Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Mathematical Definitions Let us now turn to formally defining the problem of polynomial

DocID: 1sZHr - View Document