# Mathematics and computer science at odds over real numbers

@inproceedings{Scott1991MathematicsAC, title={Mathematics and computer science at odds over real numbers}, author={Thomas J. Scott}, booktitle={SIGCSE '91}, year={1991} }

This paper discusses the " real number " data type as implemented by " floating point " numbers. Floating point implementations and a theorem that characterizes their truncations are presented. A teachable floating point system is presented, chosen so that most problems can be worked out with paper and pencil. Then major differences between floating point number systems and the continuous real number system are presented. Important floating point formats are next discussed. Two examples derived…

## 10 Citations

Floating point arithmetic teaching for computational science

- Computer ScienceFuture Gener. Comput. Syst.
- 2003

Educational issues on number representation and arithmetic in computers: an undergraduate laboratory

- Computer ScienceIEEE Trans. Educ.
- 2003

This paper presents an initiative to teach computer representation of numbers and arithmetic in undergraduate courses in computer science and engineering. The approach is based upon carefully…

An Approach to Teaching Computer Arithmetic

- Computer ScienceVECPAR
- 2002

In this work we present an initiative to support teaching computer representation of numbers (both integer and floating point) as well as arithmetic in undergraduate courses in computer science and…

A Bibliography of Publications on Floating-Point Arithmetic

- Computer Science
- 1999

This is a bibliography of material on floating-point arithmetic that I came up with while doing research on a floating-point package of my own. I don’t claim it to be anywhere near complete. The…

RACFP: a training tool to work with floating-point representation, algorithms, and circuits in undergraduate courses

- Computer ScienceIEEE Transactions on Education
- 2006

RACFP design pursues two main goals: to minimize the complexity of the learning process and to encourage students when working with floating point.

FPAvisual: A Tool for Visualizing the Effects of Floating-Point Finite-Precision Arithmetic

- Computer Science
- 2014

FPAvisual, a visualization tool that helps instructors teach the reasons for the inaccuracies caused by floating-point arithmetic (FPA), their impact and significance in programs, and the techniques to improve the accuracy is presented.

FPAvisual: A Tool for Visualizing the Effects of Floating-Point Finite-Precision Arithmetic

- Computer Science

FPAvisual, a visualization tool that helps instructors teach the reasons for the inaccuracies caused by floating-point arithmetic (FPA), their impact and significance in programs, and the techniques to improve the accuracy is presented.

FPAvisual: A tool for visualizing the effects of floating-point finite-precision arithmetic

- Computer Science
- 2014

FPAvisual, a visualization tool that helps instructors teach the reasons for the inaccuracies caused by floating-point arithmetic (FPA), their impact and significance in programs, and the techniques to improve the accuracy, is presented.

Online Tutorial Tools to Practice Data Representation

- EducationSIGCSE
- 2022

Data representation is an important topic in the Computer Science curriculum. This paper introduces a set of tutorial tools for students to practice binary basics, two's complement representation and…

Computer Science

- Education, Computer ScienceInternational Journal on Advanced Science, Engineering and Information Technology
- 2022

It is shown that despite the spread of studies, at the last time-session, the issues were always present simultaneously at the same time in accumulation, which makes computer science the primary foundation for skills and professions in the 21st century through the education system.

## References

SHOWING 1-10 OF 12 REFERENCES

A Survey of Some Recent Contributions to Computer Arithmetic

- Computer ScienceIEEE Transactions on Computers
- 1976

This paper surveys some recent contributions to computer arithmetic. The survey includes floating-point arithmetic, nonstandard number systems, and the generation of elementary functions. The design…

Turing award lecture

- Computer ScienceACM '85
- 1985

Karp introduced the now standard methodlogy for proving problems to be NP-complete which has led to the identification of many theoretical and practical problems as being computationally difficult.

International Business Machines Corporation VM/SP with RACF

- Computer Science
- 1989

The NCSC evaluation team has determined that the highest class at which VM/SP with RACF satisfies all the specified requirements of the Criteria is class C2.

Manual. Borland International, Inc

- Manual. Borland International, Inc
- 1987

IBMP72 IBM System/370 Principles of Operation

- IBMP72 IBM System/370 Principles of Operation

Binary Floating-Point Arithmetic Institute of Electrical and Electronic Engineers

- IEEE85 IEEE Standard
- 1985

BORL$7a Turbo Basic 1.0 Manual

- BORL$7a Turbo Basic 1.0 Manual
- 1987