Cover Image

Certification of the QR factor R, and of lattice basis reducedness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Villard, Gilles
Format:	Preprint
Published:	2007
Subjects:	Symbolic Computation Numerical Analysis I.1.2; F.2.1; G.1.3; G.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)

Universal Matrix Sparsifiers and Fast Deterministic Algorithms for Linear Algebra
by: Bhattacharjee, Rajarshi, et al.
Published: (2023)

Improved Spectral Density Estimation via Explicit and Implicit Deflation
by: Bhattacharjee, Rajarshi, et al.
Published: (2024)

Flexible Quaternion Generalized Minimal Residual Method for Ill-Posed Quaternion Inverse Problems
by: Liu, Xuan, et al.
Published: (2024)

Tensor-based compression of the sea temperature data
by: Kosolapov, Ilya, et al.
Published: (2025)

PackSELL: A Sparse Matrix Format for Precision-Agnostic High-Performance SpMV
by: Suzuki, Kengo, et al.
Published: (2026)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
by: van Emden, M. H., et al.
Published: (2004)

Constructing Orthogonal Rational Function Vectors with an application in Rational Approximation
by: Vermeiren, Robbe
Published: (2026)

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search
by: Khoruzhii, Kirill, et al.
Published: (2025)

The Bit Complexity of Dynamic Algebraic Formulas and their Determinants
by: Anand, Emile, et al.
Published: (2024)

Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors
by: Soto, Pedro
Published: (2022)

A modified BFGS quasi-Newton iterative formula
by: Chen, W.
Published: (1999)

Pseudo-Newton method for nonlinear equations
by: Chen, W.
Published: (1999)

A new definition of nonlinear statistics mean and variance
by: Chen, W.
Published: (1999)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
by: Lin, Yi, et al.
Published: (2025)

Solving Sparse, Symmetric, Diagonally-Dominant Linear Systems in Time $O (m^{1.31})$
by: Spielman, Daniel A., et al.
Published: (2003)

Nearly-Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems
by: Spielman, Daniel A., et al.
Published: (2006)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

Performance Comparison of Function Evaluation Methods
by: Liberti, Leo
Published: (2002)

Arboretum.hs: Symbolic manipulation for algebras of graphs
by: Bronasco, Eugen, et al.
Published: (2026)

Discrete Fourier Transform Approximations Based on the Cooley-Tukey Radix-2 Algorithm
by: Coelho, D. F. G., et al.
Published: (2024)

Recurrence relations and fast algorithms
by: Tygert, Mark
Published: (2006)

Hypergeometric-Type Sequences
by: Tabuguia, Bertrand Teguia
Published: (2023)

A novel methodology of weighted residual for nonlinear computations
by: Chen, W.
Published: (1999)

Problems from Optimization and Computational Algebra Equivalent to Hilbert's Nullstellensatz
by: Bläser, Markus, et al.
Published: (2025)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)

Mosaic-skeleton approximation is all you need for Smoluchowski equations
by: Dyachenko, Roman R., et al.
Published: (2025)

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)

CO$_2$ sequestration hybrid solver using isogeometric alternating-directions and collocation-based robust variational physics informed neural networks (IGA-ADS-CRVPINN)
by: Vilkha, Askold, et al.
Published: (2026)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
by: Sule, Virendra
Published: (2023)

Pauli-structured preconditioning for quantum linear system solvers
by: Nie, Hantao, et al.
Published: (2026)

A Newton method without evaluation of nonlinear function values
by: Chen, W.
Published: (1999)

Entrywise Approximate Solutions for SDDM Systems in Almost-Linear Time
by: Farfan, Angelo, et al.
Published: (2025)

Computing with Hypergeometric-Type Terms
by: Tabuguia, Bertrand Teguia
Published: (2024)

Semi-Centennial REDUCE
by: Norman, Arthur C., et al.
Published: (2025)

Elastic Analysis of Augmented Curves and Constrained Surfaces
by: Nava-Yazdani, Esfandiar
Published: (2024)

Hadamard product nonlinear formulation of Galerkin and finite element methods
by: Chen, W.
Published: (1999)

The application of special matrix product to differential quadrature solution of geometrically nonlinear bending of orthotropic rectangular plates
by: Chen, W., et al.
Published: (1999)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
by: Appel, Andrew W.
Published: (2025)