Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Li, Yong
and
Yong, Jun-Hai
2007.
Theory and Applications of Models of Computation.
Vol. 4484,
Issue. ,
p.
440.
Farjudian, Amin
and
Konečný, Michal
2008.
Logic, Language, Information and Computation.
Vol. 5110,
Issue. ,
p.
149.
Bauer, Andrej
and
Kavkler, Iztok
2008.
Implementing Real Numbers With RZ.
Electronic Notes in Theoretical Computer Science,
Vol. 202,
Issue. ,
p.
365.
Bauer, A.
and
Stone, C. A.
2009.
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
Journal of Logic and Computation,
Vol. 19,
Issue. 1,
p.
17.
BAUER, ANDREJ
and
TAYLOR, PAUL
2009.
The Dedekind reals in abstract Stone duality.
Mathematical Structures in Computer Science,
Vol. 19,
Issue. 4,
p.
757.
Bauer, Andrej
and
Kavkler, Iztok
2009.
A constructive theory of continuous domains suitable for implementation.
Annals of Pure and Applied Logic,
Vol. 159,
Issue. 3,
p.
251.
Farjudian, Amin
2011.
Models of Computation in Context.
Vol. 6735,
Issue. ,
p.
81.
Berger, Ulrich
2011.
From coinductive proofs to exact real arithmetic: theory and applications.
Logical Methods in Computer Science,
Vol. Volume 7, Issue 1,
Issue. ,
Müller, Norbert Th.
and
Uhrhan, Christian
2012.
NASA Formal Methods.
Vol. 7226,
Issue. ,
p.
168.
Farjudian, Amin
2013.
On the Kolmogorov complexity of continuous real functions.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 5,
p.
566.
Wei, Shuai
Tang, Enyi
Liu, Tianyu
Muller, Norbert Th.
and
Chen, Zhenyu
2014.
Automatic Numerical Analysis Based on Infinite-Precision Arithmetic.
p.
216.
Kawabata, Hideyuki
and
Iwasaki, Hideya
2016.
Programming Languages and Systems.
Vol. 9632,
Issue. ,
p.
390.
Tang, Enyi
Zhang, Xiangyu
Muller, Norbert Th.
Chen, Zhenyu
and
Li, Xuandong
2017.
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.
IEEE Transactions on Software Engineering,
Vol. 43,
Issue. 10,
p.
975.
Kawabata, Hideyuki
2017.
Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision.
Journal of Information Processing,
Vol. 25,
Issue. 0,
p.
494.
Brauße, Franz
Collins, Pieter
and
Ziegler, Martin
2022.
Computer Algebra in Scientific Computing.
Vol. 13366,
Issue. ,
p.
62.
Mukunoki, Daichi
Ozaki, Katsuhisa
Ogita, Takeshi
and
Imamura, Toshiyuki
2023.
Parallel Processing and Applied Mathematics.
Vol. 13826,
Issue. ,
p.
40.