Sciweavers

1302 search results - page 18 / 261

» Free-Style Theorem Proving

18

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

14 years 1 months ago

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

26

ADG
2004
Springer

101views Mathematics» more ADG 2004»

Mechanical Theorem Proving in Computational Geometry

14 years 1 months ago

Mechanical Theorem Proving in Computational Geometry

Download homepages.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

25

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

14 years 1 months ago

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Download reference.kfupm.edu.sa

Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...

claim paper

Read More »

23

DIAGRAMS
2004
Springer

112views Artificial Intelligence» more DIAGRAMS 2004»

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

14 years 1 months ago

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

Download www.cmis.brighton.ac.uk

An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...

Jean Flower, Judith Masthoff, Gem Stapleton

claim paper

Read More »

11

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

14 years 1 months ago

Contextualized Abstraction for Assertion-Level Theorem Proving

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

« Prev « First page 18 / 261 Last » Next »