Computer-aided study of a problem in Hermitian matrix theory

DOI10.1016/S0747-7171(08)80009-0zbMath0716.15012MaRDI QIDQ752802

Mary Beth Dever, Man Kam Kwong

Publication date: 1990

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

symbolic computationboundsREDUCEMAPLEmatrix equationpositive definite Hermitian matrix

Mathematics Subject Classification ID

Uses Software

• Maple

Cites Work

• On the definiteness of the solutions of certain matrix equations
• Hermitian Matrix Inequalities and a Conjecture

This page was built for publication: Computer-aided study of a problem in Hermitian matrix theory