<--- Back to Details
First PageDocument Content
Numerical analysis / Computer arithmetic / Arithmetic / Interval arithmetic / Pascal-XSC / Pascal / Konrad Zuse / Ring / Computing / Software engineering / Mathematics
Date: 2013-01-15 10:20:26
Numerical analysis
Computer arithmetic
Arithmetic
Interval arithmetic
Pascal-XSC
Pascal
Konrad Zuse
Ring
Computing
Software engineering
Mathematics

C:/Dokumente und Einstellungen/ulrich/Desktop/Kulisch/SelectedPublications.dvi

Add to Reading List

Source URL: www.math.kit.edu

Download Document from Source Website

File Size: 38,56 KB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Linear programming / Linear algebra / Elementary algebra / Inequality / Linear inequality / Expected value / Simplex algorithm / Boolean satisfiability problem / Cutting-plane method / Equation solving

Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic

DocID: 1xW2n - View Document

Mathematics / Computer arithmetic / Numerical analysis / Applied mathematics / Arithmetic / Interval arithmetic / Computer-assisted proof / Computational science / Scan

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document

Algebra / Abstract algebra / Geometry / Group theory / Lie groups / Algebraic geometry / Algebraic groups / Shimura variety / Reductive group / Group action / Group scheme / Abelian variety

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas

DocID: 1xVRI - View Document

Computer arithmetic / Mathematics / Arithmetic / Theoretical computer science / Rounding / Division algorithm / Expected value

Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical

DocID: 1xVHL - View Document

Numerical analysis / Mathematics / Applied mathematics / Iterative refinement / Iterative method / Interval arithmetic / Newton's method / Condition number / Residual / Root-finding algorithm / Affine arithmetic

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

DocID: 1xVDs - View Document