306 search results - page 1 / 62 » Constructive analysis, types and exact real numbers |
52
Voted
MSCS
2007
14 years 10 months ago
2007
88
Voted
MST
2007
14 years 10 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
CIE
2005
Springer
15 years 4 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
JUCS
2010
14 years 5 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
76
Voted
ENTCS
2006
14 years 11 months ago
2006
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...