1322 search results - page 107 / 265 » Unsound Theorem Proving |
IJFCS
2008
13 years 10 months ago
2008
In this paper, we look at the extension of Hedlund's characterization of cellular automata to the case of cellular automata in the hyperbolic plane. This requires an addition...
JAT
2008
13 years 10 months ago
2008
We use a generalization of Wiener's 1/f theorem to prove that for a Gabor frame with the generator in the Wiener amalgam space W (L , 1 )(Rd ), the corresponding frame operato...
IPL
2006
13 years 10 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
JAT
2006
13 years 10 months ago
2006
Abstract. Recently M. Dritschel proved that any positive multivariate Laurent polynomial can be factorized into a sum of square magnitudes of polynomials. We first give another pro...
JCT
2006
13 years 10 months ago
2006
Nash-Williams' arboricity theorem states that a finite graph is the edge-disjoint union of at most k forests if no set of vertices induces more than k( - 1) edges. We prove a...