# 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}
}```
• T. J. Scott
• Published in SIGCSE '91 1 March 1991
• Computer Science
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 Science
Future Gener. Comput. Syst.
• 2003
Educational issues on number representation and arithmetic in computers: an undergraduate laboratory
• Computer Science
IEEE 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 Science
VECPAR
• 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 Science
IEEE 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
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
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
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 Science
International 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
• H. Garner
• Computer Science
IEEE 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
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