1302 search results - page 78 / 261 » Free-Style Theorem Proving |
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
MFPS
1991
13 years 11 months ago
1991
The problem of decomposing domains into sensible factors is addressed and solved for the case of dI-domains. A decomposition theorem is proved which allows the represention of a l...
DLOG
2006
13 years 9 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
AMC
2007
13 years 8 months ago
2007
We prove several growth theorems for second-order dynamic equations on time scales. These theorems contain as special cases results for second-order differential equations, diff...
AMC
2007
13 years 8 months ago
2007
Recently, particular counterexamples were constructed to some theorems of a previous paper, concerning the global attractivity of the positive equilibrium for the delay equation _...