The Fundamental Theorem of Linear Algebra
From MaRDI portal
Publication:4293806
DOI10.2307/2324660zbMath0802.15002OpenAlexW4246247853WikidataQ56454441 ScholiaQ56454441MaRDI QIDQ4293806
Publication date: 10 July 1994
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2324660
Theory of matrix inversion and generalized inverses (15A09) Eigenvalues, singular values, and eigenvectors (15A18) Linear transformations, semilinear transformations (15A04) Vector spaces, linear dependence, rank, lineability (15A03) Linear equations (linear algebraic aspects) (15A06)
Related Items (33)
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem ⋮ Well-conditioned ultraspherical and spectral integration methods for resolvent analysis of channel flows of Newtonian and viscoelastic fluids ⋮ Distributed Continuous-Time Algorithms for Nonsmooth Extended Monotropic Optimization Problems ⋮ The Network HHD: Quantifying Cyclic Competition in Trait-Performance Models of Tournaments ⋮ Adaptively weighted numerical integration over arbitrary domains ⋮ On the Bhattacharya-Mesner rank of third order hypermatrices ⋮ Distributed generalized Nash equilibrium seeking algorithm for nonsmooth aggregative games ⋮ Crouzeix-Raviart triangular elements are inf-sup stable ⋮ Distributed optimization of multi-integrator agent systems with mixed neighbor interactions ⋮ Distributed strategy for constrained resource allocation problems of autonomous second-order nonlinear agents and its application to smart grids ⋮ Generalized Nash equilibrium seeking algorithm design for distributed multi-cluster games ⋮ Distributed algorithm for nonsmooth multi-coalition games and its application in electricity markets ⋮ Sparsified randomization algorithms for low rank approximations and applications to integral equations and inhomogeneous random field simulation ⋮ Seeking strategy design for distributed nonsmooth games and its application ⋮ Limits of \(\alpha\)-harmonic maps ⋮ Distributed algorithms for aggregative games of multiple heterogeneous Euler-Lagrange systems ⋮ Improving the \( k\)-\textit{compressibility} of hyper reduced order models with moving sources: applications to welding and phase change problems ⋮ Hodge Laplacians on Graphs ⋮ Hodge decomposition and the Shapley value of a cooperative game ⋮ Generalized Nash equilibrium seeking strategy for distributed nonsmooth multi-cluster game ⋮ Topological data analysis and cosheaves ⋮ Distributed algorithm for robust resource allocation with polyhedral uncertain allocation parameters ⋮ Inference of chemical reaction networks based on concentration profiles using an optimization framework ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ Stochastic Algorithms in Linear Algebra - beyond the Markov Chains and von Neumann - Ulam Scheme ⋮ Stochastic boundary methods of fundamental solutions for solving PDEs ⋮ Wavefield reconstruction inversion: an example ⋮ Application of matrix decompositions for matrix canonization ⋮ Adaptively weighted numerical integration in the finite cell method ⋮ Global-local ROM for the solution of parabolic problems with highly concentrated moving sources ⋮ Shape aware quadratures ⋮ Optimal data collection design in machine learning: the case of the fixed effects generalized least squares panel data model ⋮ Critical Point-Finding Methods Reveal Gradient-Flat Regions of Deep Network Losses
This page was built for publication: The Fundamental Theorem of Linear Algebra
