Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

MSCS
2007

favoriteEmaildiscussreport

85views more MSCS 2007»

Constructive analysis, types and exact real numbers

13 years 7 months ago

Constructive analysis, types and exact real numbers

Download www.cs.ru.nl

Herman Geuvers, Milad Niqui, Bas Spitters, Freek W

Real-time Traffic

MSCS 2007 |

claim paper

Related Content

» Productivity of EdalatPotts Exact Arithmetic in Constructive Type Theory

» Formalising Exact Arithmetic in Type Theory

» Realisability for Induction and Coinduction with Applications to Constructive Analysis

» Coinductive Field of Exact Real Numbers and General Corecursion

» Coinduction for Exact Real Number Computation

» Compositional Semantics of Dataflow Networks with QueryDriven Communication of Exact Value...

» A Tour with Constructive Real Numbers

» A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals

» Implementing Real Numbers With RZ

Post Info
More Details (n/a)

Added	27 Dec 2010
Updated	27 Dec 2010
Type	Journal
Year	2007
Where	MSCS
Authors	Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk

Comments (0)