233 search results - page 1 / 47 » Applications of Polytypism in Theorem Proving |
TPHOL
2003
IEEE
13 years 9 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
CADE
1998
Springer
13 years 8 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...
RANDOM
1997
Springer
13 years 8 months ago
1997
Springer
The current proof of the PCP Theorem (i.e., NP = PCP(log, O(1))) is very complicated. One source of difficulty is the technically involved analysis of low-degree tests. Here, we r...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
CADE
1994
Springer
13 years 8 months ago
1994
Springer
