Back to Results
First PageMeta Content
Logical syntax / Automated theorem proving / Proof theory / Model theory / Theorem / Mathematical proof / TeX / First-order logic / Unification / Logic / Mathematics / Mathematical logic


TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX
Add to Reading List

Document Date: 2009-09-26 12:32:25

Open Document

File Size: 189,97 KB

Share Result on Facebook

City

Technical Report / /

Company

Cambridge University Press / Academic Press / Sandia Laboratories / /

Currency

USD / /

Facility

University of Alberta / /

IndustryTerm

closed mathematical systems / web-site / linear search / /

NaturalFeature

Alps / /

Organization

Cambridge University / University of Alberta / /

Person

Karl Berry / Bob Neveln / Piotr Rudnicki / Bob Alps / Andrzej Trybulec / /

Position

author / mathematical author / text editor / /

ProgrammingLanguage

Python / LATEX / Objective CAML / /

ProvinceOrState

Alberta / /

TVShow

Q.E.D. / /

Technology

ASCII / PDF / /

URL

www.mizar.org/project/bibliography.html / www.proofcheck.org / /

SocialTag