289 search results - page 1 / 58 » A Tour with Constructive Real Numbers |
TYPES
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
STORYTELLING
2007
Springer
13 years 11 months ago
2007
Springer
Storytelling capabilities are vital aspect of a tour guide. In this paper, we present a mobile tour guide that emulates a real guide’s behaviour by presenting stories based on th...
COR
2000
13 years 4 months ago
2000
The multi-vehicle covering tour problem is de"ned on a graph G"(<6=, E), where = is a set of vertices that must collectively be covered by up to m vehicles. The probl...
JCT
2008
13 years 4 months ago
2008
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...
AAECC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We describe some constructions of orthonormal lattices in totally real subfields of cyclotomic fields, obtained by endowing their ring of integers with a trace form. We...