Computer arithmetic in theory and practice /

Computer arithmetic in theory and practice /

Bibliographic Details
Main Author:	Kulisch, Ulrich
Other Authors:	Miranker, Willard L.
Format:	Book
Language:	English
Published:	New York, NY : Academic Press, 1981.
Series:	Computer science and applied mathematics.
Subjects:	Algebra, Abstract. Interval analysis (Mathematics) Floating-point arithmetic.

Similar Items

Computer arithmetic and validity : theory, implementation, and applications /
by: Kulisch, Ulrich
Published: (2008)

Computer arithmetic /
Published: (1990)

Numerical computing with IEEE floating point arithmetic : including one theorem, one rule of thumb, and one hundred and one exercises /
by: Overton, Michael L.
Published: (2001)

A high-level formalization of floating-point numbers in PVS /
by: Boldo, Sylvie
Published: (2006)

The 8096 floating-point arithmetic library user's guide for DOS systems.
Published: (1985)

Improving floating-point programming /
Published: (1990)

Methods and applications of error-free computation /
by: Gregory, R. T. (Robert Todd)
Published: (1984)

3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] /
Published: (1975)

Symbolic algebraic methods and verification methods /
Published: (2001)

Validation numerics : theory and applications / R. Albrecht, G. Alefeld, H.J. Stetter (eds.).
Published: (1993)

Discrete mathematical structures for computer science /
by: Prather, Ronald E.
Published: (1976)

Abstract algebra : an inquiry based approach /
by: Hodge, Jonathan K., 1980, et al.
Published: (2013)

An invitation to abstract algebra /
by: Rosenberg, Steven J.
Published: (2022)

Proceedings : 4th Symposium on Computer Arithmetic, October 25-27, 1978, Santa Monica, California /
Published: (1978)

Contemporary abstract algebra : student solutions manual /
by: Gallian, Joseph A.
Published: (2021)

Algebra
by: Hornfeck, Bernhard
Published: (2019)

Interpretation of IEEE-854 floating-point standard and definition in the HOL system.
by: Carreno, Victor A.
Published: (1995)

Linear and combinatorial optimization in ordered algebraic structures /
by: Zimmermann, U. (Uwe), 1947-
Published: (1981)

Schaum's outline of theory and problems of abstract algebra /
by: Ayres, Frank, 1901-1994
Published: (2004)

On the accuracy of solving triangular systems in parallel.
by: Tsao, Nai-kuan
Published: (1988)

Insights into mathematical thought : excursions with distributivity /
by: Brown, Stephen I.
Published: (2013)

Applied algebra for the computer sciences /
by: Gill, Arthur, 1930-
Published: (1976)

Introduction to discrete structures for computer science and engineering /
by: Preparata, Franco P.
Published: (1973)

Perspectives on enclosure methods /
Published: (2001)

A first course in abstract algebra /
by: Fraleigh, John B.
Published: (1999)

Introduction to abstract algebra : from rings, numbers, groups, and fields to polynomials and Galois theory /
by: Fine, Benjamin, 1948-, et al.
Published: (2014)

Applied abstract algebra with mapletm and MATLAB® /
by: Klima, Richard E., et al.
Published: (2015)

Contemporary abstract algebra /
by: Gallian, Joseph A.
Published: (2021)

Schaum's outline of theory and problems of discrete mathematics /
by: Lipschutz, Seymour
Published: (1997)

Schaum's outline of theory and problems of discrete mathematics /
by: Lipschutz, Seymour
Published: (2007)

Modern algebra : a natural approach, with applications /
by: Gardiner, Cyril F.
Published: (1981)

Modern abstract algebra /
by: Buchthal, David C.
Published: (1987)

Applied abstract algebra /
by: Lidl, Rudolf
Published: (1984)

Integers, polynomials, and rings : a course in algebra /
by: Irving, Ronald S., 1952-
Published: (2004)

Algebraic structures /
by: Gardiner, Cyrill F.
Published: (1986)

Concrete abstract algebra : from numbers to Gröbner bases /
by: Lauritzen, Niels, 1964-
Published: (2003)

Modern algebra with applications /
by: Gilbert, William J., 1941-
Published: (2004)

Abstract algebra : a first look /
by: Kuczkowski, Joseph E.
Published: (1977)

How to think about abstract algebra /
by: Alcock, Lara
Published: (2021)

Lectures in abstract algebra /
by: Jacobson, Nathan, 1910-1999
Published: (1975)