Pages that link to "Item:Q2502318"
From MaRDI portal
The following pages link to Verification of positive definiteness (Q2502318):
Displaying 24 items.
- High performance verified computing using C-XSC (Q382427) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic (Q714626) (← links)
- Positive definiteness of Hermitian interval matrices (Q846327) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Nonsingularity, positive definiteness, and positive invertibility under fixed-point data rounding. (Q954610) (← links)
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation (Q1713151) (← links)
- Explicit and provably stable spatiotemporal FDTD refinement (Q2002299) (← links)
- Formal proofs of rounding error bounds. With application to an automatic positive definiteness check (Q2013318) (← links)
- Convergence analysis of an algorithm for accurate inverse Cholesky factorization (Q2257609) (← links)
- Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems (Q2293603) (← links)
- Generalised cepstral models for the spectrum of vector time series (Q2293719) (← links)
- Determining the positive definiteness margin of interval matrices (Q2481141) (← links)
- Convergence analysis of accurate inverse Cholesky factorization (Q3121193) (← links)
- An Improved Arc Algorithm for Detecting Definite Hermitian Pairs (Q3584151) (← links)
- Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
- Enabling floating-point arithmetic in the Coq proof assistant (Q6053846) (← links)
- (Q6151388) (← links)
- Eigenvalue characterization of some structured matrix pencils under linear perturbation (Q6198247) (← links)
- Generalized autocovariance matrices for multivariate time series (Q6549228) (← links)