Sciweavers

9 search results - page 1 / 2

» jar 2002

27

JAR
2002

75views more JAR 2002»

A New Implementation of Automath

13 years 10 months ago

A New Implementation of Automath

Download www.cs.ru.nl

Freek Wiedijk

claim paper

Read More »

26

JAR
2002

67views more JAR 2002»

Hilbert's Twenty-Fourth Problem

13 years 10 months ago

Hilbert's Twenty-Fourth Problem

Download www.maa.org

Ruediger Thiele, Larry Wos

claim paper

Read More »

29

JAR
2002

61views more JAR 2002»

The IJCAR ATP System Competition

13 years 10 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 »

23

JAR
2002

56views more JAR 2002»

Short Single Axioms for Boolean Algebra

13 years 10 months ago

Short Single Axioms for Boolean Algebra

Download www.cs.unm.edu

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

claim paper

Read More »

36

JAR
2002

77views more JAR 2002»

Proof Reflection in Coq

13 years 10 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 »