425 search results - page 23 / 85 » The TPS Theorem Proving System |
124
click to vote
TPHOL
2006
IEEE
15 years 3 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
RSA
2010
14 years 8 months ago
2010
We study thresholds for Ramsey properties of random discrete structures. In particular, we determine the threshold for Rado’s theorem for solutions of partition regular systems o...
JNS
2010
14 years 8 months ago
2010
This paper is concerned with the Becker-D¨oring (BD) system of equations and their relationship to the Lifschitz-Slyozov-Wagner (LSW) equations. A diffusive version of the LSW eq...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
JAR
2006
14 years 9 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...