Search Sciweavers | Sciweavers

5093 search results - page 14 / 1019

» How Real are Real Numbers

108

click to vote

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

15 years 7 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio

claim paper

Read More »

Voted

APL
1990
ACM

43views Software Engineering» more APL 1990»

ACORN: APL to C on Real Numbers

15 years 7 months ago

Download www.snakeisland.com

Robert Bernecky, Charles Brenner, Stephen B. Jaffe...

claim paper

Read More »

Voted

MLQ
2008

50views more MLQ 2008»

A note on the axiomatisation of real numbers

15 years 2 months ago

Download hlombardi.free.fr

Thierry Coquand, Henri Lombardi

claim paper

Read More »

click to vote

JSYML
1998

51views more JSYML 1998»

The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets

15 years 2 months ago

Download delta.math.univ.gda.pl

We prove the following theorems:

Andrej Nowik, Marion Scheepers, Tomasz Weiss

claim paper

Read More »

click to vote

MSCS
2007

85views more MSCS 2007»

Constructive analysis, types and exact real numbers

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers