289 search results - page 3 / 58 » A Tour with Constructive Real Numbers |
VAST
2004
ACM
13 years 11 months ago
2004
ACM
In current city visualisations crowds are being included to increase realism in the scene. With the self-steering nature of crowds it is traditionally difficult to control the nu...
MFCS
1993
Springer
13 years 9 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We obtain new lower and upper bounds for the maximum multiplicity of some weighted and, respectively, non-weighted common geometric graphs drawn on n points in the plane in genera...
TYPES
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...