Search Results - Kulisch, Ulrich
Ulrich Kulisch
Ulrich W. Kulisch (born 1933 in Breslau) is a German mathematician specializing in numerical analysis, including the computer implementation of interval arithmetic. Provided by Wikipedia- Showing 1 - 20 results of 20
-
1
Perspectives on Enclosure Methods / by Kulisch, Ulrich
Published 2001Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
2
C-XSC : a C++ Class Library for Extended Scientific Computing / by Kulisch, Ulrich
Published 1993Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
3
Computer arithmetic in theory and practice / by Kulisch, Ulrich
Published 1981Call Number: Loading…
Located: Loading…Book Loading… -
4
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs / by Kulisch, Ulrich
Published 1995Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
5
Computer arithmetic and validity : theory, implementation, and applications / by Kulisch, Ulrich
Published 2008Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
6
Advanced arithmetic for the digital computer : design of arithmetic units / by Kulisch, Ulrich
Published 2002Call Number: Loading…
Located: Loading…Book Loading… -
7
Computer arithmetic and validity / by Kulisch, Ulrich
Published 2013Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
8
Computer arithmetic in theory and practice by Kulisch, Ulrich
Published 1981Call Number: Loading…Full Text (via ScienceDirect)
Located: Loading…
Electronic eBook -
9
Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs / by Kulisch, Ulrich
Published 1993Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
10
Scientific Computation with Automatic Result Verification / by Kulisch, Ulrich
Published 1988Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
11
Advanced arithmetic for the digital computer design of arithmetic units / by Kulisch, Ulrich
Published 2002Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
12
Scientific computing with automatic result verification
Published 1993Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…Full Text (via ScienceDirect)
Located: Loading…
Electronic eBook -
13
Scientific computing with automatic result verification /
Published 1992Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…
Located: Loading…Book Loading… -
14
A new approach to scientific computation /
Published 1983Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…Full Text (via Internet Archive)
Located: Loading…
Conference Proceeding eBook -
15
A new approach to scientific computation /
Published 1983Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
16
A new approach to scientific computation
Published 1983Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…Full Text (via ScienceDirect)
Located: Loading…
Electronic Conference Proceeding eBook -
17
Computational and applied mathematics, I : algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991 /
Published 1992Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
18
Perspectives on enclosure methods /
Published 2001Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…
Located: Loading…Book Loading… -
19
Scientific computation with automatic result verification /
Published 1988Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…
Located: Loading…Book Loading… -
20
Validation numerics : theory and applications / R. Albrecht, G. Alefeld, H.J. Stetter (eds.)
Published 1993Other Authors: “…Kulisch, Ulrich…”
Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Computer arithmetic
Numerical analysis
Mathematics
Algorithms
Computer science
Data processing
Algebra
Algebra, Abstract
Computer arithmetic and logic units
Floating-point arithmetic
Interval analysis (Mathematics)
Numerical calculations
Computer programs
Global analysis (Mathematics)
Mathematical physics
Verification
Computer simulation
Electronic data processing
Engineering
Engineering mathematics
Mathematical optimization
Microprogramming
Physics
Validation