550 search results - page 2 / 110 » Implementing Real Numbers With RZ |
TPHOL
2005
IEEE
13 years 11 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
MST
2008
13 years 5 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
TCS
2008
13 years 5 months ago
2008
We present exact and complete algorithms based on precomputed Sturm-Habicht sequences, discriminants and invariants, that classify, isolate with rational points and compare the re...
ISSAC
1992
Springer
13 years 9 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
CHES
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. The paper presents a novel and efficient method to generate true random numbers on FPGAs by inducing metastability in bi-stable circuit elements, e.g. flip-flops. Meta...