Search Sciweavers | Sciweavers

1410 search results - page 18 / 282

» Proving theorems by reuse

126

Voted

CADE
1990
Springer

74views Logical Reasoning» more CADE 1990»

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving

15 years 10 months ago

Download www.mmrc.iss.ac.cn

Shang-Ching Chou, Xiao-Shan Gao

claim paper

Read More »

129

Voted

ATVA
2004
Springer

68views Hardware» more ATVA 2004»

Theorem Proving Languages for Verification

15 years 10 months ago

Download www.lix.polytechnique.fr

Jean-Pierre Jouannaud

claim paper

Read More »

140

Voted

BIRTHDAY
2005
Springer

147views Applied Computing» more BIRTHDAY 2005»

Bridging Theorem Proving and Mathematical Knowledge Retrieval

15 years 8 months ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Andreas Meier, Volker S...

claim paper

Read More »

105

click to vote

IJCAI
2003

137views Artificial Intelligence» more IJCAI 2003»

Assertion Application in Theorem Proving and Proof Planning

15 years 7 months ago

Download monet.nag.co.uk

Quoc Bao Vo, Christoph Benzmüller, Serge Aute...

claim paper

Read More »

129

Voted

FLAIRS
1998

86views Artificial Intelligence» more FLAIRS 1998»

Strategy Parallelism in Automated Theorem Proving

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers