<--- Back to Details
First PageDocument Content
Proof assistant / Nqthm / Five lemma / Order theory / Lemmas / Mathematics / Automated theorem proving
Date: 2006-02-14 05:59:11
Proof assistant
Nqthm
Five lemma
Order theory
Lemmas
Mathematics
Automated theorem proving

Add to Reading List

Source URL: www.lemma-one.com

Download Document from Source Website

File Size: 118,29 KB

Share Document on Facebook

Similar Documents

Lemmas / Homological algebra / Five lemma

PDF Document

DocID: 1quyp - View Document

Mathematics / Logic / Software engineering / Mathematical proofs / Automated theorem proving / Functional languages / Literate programming / Graph theory / Structural induction / Rippling / Five lemma / First-order logic

HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone

DocID: 1q9N6 - View Document

Homological algebra / Algebraic number theory / Cohomology theories / Sheaf theory / Cohomology / Group theory / Algebraic number field / Sheaf / Ring / Five lemma / Sheaf of modules

Journal of Pure and Applied

DocID: 1pK0N - View Document

Digital typography / Punctuation / Typesetting / Lemmas / ArabTeX / TeX / Hyphenation algorithm / Hyphen / Test / Tilde / Five lemma / Interpunct

ADDENDUM FOR CET 1.9.3b 1. ArabTEX CET is ready for ArabTEX (author: Klaus Lagally, University Stuttgart). You can get ArabTEX via ftp (Internet) and you must install it manually. After the installation of ArabTEX and af

DocID: 1pvKe - View Document

Mathematical proofs / Lemmas / Five lemma / Homological algebra / Structural induction / Theorem / Proof assistant

Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr

DocID: 1pgaI - View Document