A note on polar decomposition based Geršgorin-type sets
✍ Scribed by Laura Smithies
- Publisher
- Elsevier Science
- Year
- 2008
- Tongue
- English
- Weight
- 93 KB
- Volume
- 429
- Category
- Article
- ISSN
- 0024-3795
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Inspired by the paper of Faßbender and Ikramov [H. Faßbender, Kh.D. Ikramov, A note on an unusual type of polar decomposition, Linear algebra appl. 429 (2008) 42-49], in this note we introduce an unusual type of generalized polar decomposition for a rectangular matrix A of the form A = GE, where G i
We discuss semantics of equational Horn-clause programs based on the notion of a complete set of E-unifiers. We prove incompleteness of SLDE tresolution in the general case. SLDELresolution was introduced by Gallier and Raatz who proved its completeness for the case of well-behaved programs. We also