Two algorithms for the exchange lemma

DOI10.1007/S11075-020-00921-WMaRDI QIDQ2225513zbMATH OpenOpenAlexWikidataFDO

Authors Stefan Barańczuk, B. Szydło

Publication date 8 February 2021

Published in Numerical Algorithms (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11075-020-00921-w

zbMATH Keywords

algorithmbasic minorexchange lemmarow echelon form

Mathematics Subject Classification ID

Vector spaces, linear dependence, rank, lineability (15A03) Numerical linear algebra (65F99)

Recommendations

• On the Steinitz exchange lemma
• scientific article; zbMATH DE number 3941558
• Dependence spaces
• The proof theoretic strength of the Steinitz exchange theorem
• The role of the pivot technique in the proof of some fundamental theorems of linear algebra.

Cited in

(5)

• On the theoretical properties of the exchange algorithm
• On Finite Dimension Exchange Algorithms
• Bulge Exchanges in Algorithms of QR Type
• Point-free calculational proofs and program derivation in linear algebra using a graphical syntax
• Exchange lemmas 2: General exchange Lemma

This page was built for publication: Two algorithms for the exchange lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2225513)