Sciweavers

300 search results - page 10 / 60
» Extension of a theorem of Whitney
Sort
View
AUSAI
2010
Springer
13 years 6 months ago
Pushing the Envelope: General Game Players Prove Theorems
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
Sebastian Haufe, Michael Thielscher
CEC
2010
IEEE
13 years 8 months ago
Meta-heuristic search and square Erickson matrices
A Ramsey theory problem, that can be seen as a 2 dimensional extension of the Van der Waerden theorem, was posed by Martin J. Erickson in his book [1]: "find the minimum n su...
Denis Robilliard, Amine M. Boumaza, Virginie Mario...
MLQ
1998
103views more  MLQ 1998»
13 years 7 months ago
Versions of Normality and Some Weak Forms of the Axiom of Choice
Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...
Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...
22
Voted
CORR
2010
Springer
118views Education» more  CORR 2010»
13 years 7 months ago
A view of canonical extension
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
Mai Gehrke, Jacob Vosmaer
TLCA
1993
Springer
13 years 12 months ago
The Conservation Theorem revisited
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...
Philippe de Groote