Filters
Verification of Linear (In)Dependence in Finite Precision Arithmetic
We present theoretical background for verification of linear dependence/independence of columns of a matrix by means of finite precision arithmetic....
BA - Obecná matematika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Krylov Subspace Methods in Finite Precision Arithmetic.
Annotation not available...
BA - Obecná matematika
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
On Error Estimation in the Conjugate Gradient Method and why it Works in Finite Precision Computations.
in finite precision arithmetic. The simplest bound is proved numerically stable. Results...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Correspondence between Exact Arithmetic and Finite Precision Behaviour of Krylov Space Methods.
Annotation not available...
BA - Obecná matematika
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
The Lanczos and Conjugate Gradient Algorithms in Finite Precision Arithmetic
The Lanczos and conjugate gradient algorithms were introduced more than five decades ago. Because of their fundamental relationship with the theory of orthogonal polynomials and Gauss quadrature of Riemann-Stieltjes integral, they represent very inte...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
When does the Lanczos algorithm compute exactly?
In theory, the Lanczos algorithm generates an orthogonal basis of the corresponding Krylov subspace. However, in finite precision arithmetic the orthogonality point arithmetic satisfying the IEEE 754 standard is us...
Applied mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
High Precision Computing through Inverval Arithmetic Paradigm
High Precision Computing through Inverval Arithmetic Paradigm...
JC - Počítačový hardware a software
- 2005 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Relating computed and exact entities in methods based on Lanczos tridiagonalization
comparison of finite-precision and exact computations for CGL and MINRES, by taking advantage of their relationship valid also in finite-precision arithmetic. In particular, we show that finite-<...
Applied mathematics
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Solving multiplicative equations in a finite arithmetic structure
Restricted arithmetic, students' solutions to multiplicative equations, formal knowledge.
AM - Pedagogika a školství
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Building a finite arithmetic structure: Interpretation in terms of abstraction in context
The student's understanding a concept of inverse reduction in a finite arithmetic structure is analysed and interpreted via abstraction in context....
AM - Pedagogika a školství
- 2003 •
- A
Rok uplatnění
A - Audiovizuální tvorba
- 1 - 10 out of 37 580