Search Sciweavers | Sciweavers

1302 search results - page 2 / 261

» Free-Style Theorem Proving

click to vote

IGPL
1998

97views more IGPL 1998»

Towards Structurally-Free Theorem Proving

13 years 6 months ago

Download www.ime.usp.br

Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...

Marcelo Finger

claim paper

Read More »

click to vote

JAR
2000

97views more JAR 2000»

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

13 years 6 months ago

Download www.cs.wichita.edu

We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

claim paper

Read More »

click to vote

TC
2010

125views Information Technology» more TC 2010»

Formal Reliability Analysis Using Theorem Proving

13 years 4 months ago

Download hvg.ece.concordia.ca

—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...

Osman Hasan, Sofiène Tahar, Naeem Abbasi

claim paper

Read More »

click to vote

JANCL
2000

52views more JANCL 2000»

On theorem proving in annotated logics

13 years 6 months ago

Download www.mmrc.iss.ac.cn

Mi Lu, Jin-Zhao Wu

claim paper

Read More »