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

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Milad Niqui
• Keywords: Coinductive Streams, Coinductive Types, ENTCS 2006, Field Operations