289 search results - page 2 / 58 » A Tour with Constructive Real Numbers |
MSCS
2007
13 years 4 months ago
2007
KDD
1997
ACM
13 years 9 months ago
1997
ACM
Animportantsuccessfactor for the field of KDDlies in the developmentand integration of methodsfor supporting the construction and execution of KDDprocesses. Crucial aspects in thi...
TYPES
2000
Springer
13 years 8 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
ENTCS
2008
13 years 5 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
AVI
2006
13 years 6 months ago
2006
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...