1302 search results - page 6 / 261 » Free-Style Theorem Proving |
JCT
2010
13 years 6 months ago
2010
We prove a generalization of Pr¨omel’s theorem to finite structures with both relations and functions.
SAC
2010
ACM
13 years 2 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
TPHOL
1999
IEEE
13 years 12 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
AAAI
1998
13 years 9 months ago
1998
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...