1302 search results - page 10 / 261 » Free-Style Theorem Proving |
CADE
2003
Springer
14 years 8 months ago
2003
Springer
AI
2000
Springer
13 years 7 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
CAV
2003
Springer
14 years 26 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas...