A bijective proof of Muir's identity and the Cauchy-Binet formula
From MaRDI portal
Publication:2365694
DOI10.1016/0024-3795(93)90371-TzbMath0772.15004WikidataQ114215278 ScholiaQ114215278MaRDI QIDQ2365694
Publication date: 29 June 1993
Published in: Linear Algebra and its Applications (Search for Journal in Brave)
Determinants, permanents, traces, other special matrix functions (15A15) Matrix equations and identities (15A24)
Related Items
A bijective proof of generalized Cauchy–Binet, Laplace, Sylvester and Dodgson formulas ⋮ Hausdorff and box dimensions of self-affine sets in a locally compact non-Archimedean field ⋮ Unnamed Item ⋮ A multilinear algebra proof of the Cauchy-Binet formula and a multilinear version of Parseval's identity ⋮ Improved hitting set for orbit of ROABPs ⋮ A formalization of the Smith normal form in higher-order logic
Cites Work