Sciweavers

Share
ENTCS
2006

Coinductive Field of Exact Real Numbers and General Corecursion

10 years 10 months ago
Coinductive Field of Exact Real Numbers and General Corecursion
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 in two algorithms (homographic and quadratic algorithm) that operate on streams of M
Milad Niqui
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Milad Niqui
Comments (0)
books