Sciweavers

9 search results - page 1 / 2

» jar 2002

14

JAR
2002

75views more JAR 2002»

A New Implementation of Automath

13 years 4 months ago

A New Implementation of Automath

Download www.cs.ru.nl

Freek Wiedijk

claim paper

Read More »

11

JAR
2002

67views more JAR 2002»

Hilbert's Twenty-Fourth Problem

13 years 4 months ago

Hilbert's Twenty-Fourth Problem

Download www.maa.org

Ruediger Thiele, Larry Wos

claim paper

Read More »

13

JAR
2002

61views more JAR 2002»

The IJCAR ATP System Competition

13 years 4 months ago

The IJCAR ATP System Competition

Download www.cs.miami.edu

The results of the IJCAR ATP System Competition are presented.

Geoff Sutcliffe, Christian B. Suttner, Francis Jef...

claim paper

Read More »

9

JAR
2002

56views more JAR 2002»

Short Single Axioms for Boolean Algebra

13 years 4 months ago

Short Single Axioms for Boolean Algebra

Download www.cs.unm.edu

William McCune, Robert Veroff, Branden Fitelson, K...

claim paper

Read More »

15

JAR
2002

77views more JAR 2002»

Proof Reflection in Coq

13 years 4 months ago

Proof Reflection in Coq

Download www.phil.uu.nl

We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...

Dimitri Hendriks

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »