四元数半正定矩阵与线性方程组Ax=b的反问题

证得了四元数矩阵为半正定的充要条件，得到四元数线性方程组Ａｘ＝ｂ的反问题有半正定阵解、半正定自共轭阵解的充要条件及解的一般形式。     

线性方程组AX=b的反问题求解

所谓n阶复方阵A是正定的是指对任意n维非零复列向量X,都有ReX*AX>0.文章给出了线性方程组AX=b的反问题具有复正定方阵解的一个充要条件.     

线性方程组Ax=b在满秩次对称矩阵类中的反问题

讨论了线形方程组Aχ=b的反问题在满秩次对称矩阵类中解的存在性,并将其转化为在对称矩阵类中的反问题求解．     

Ax=b在广义正定矩阵类中的反问题

研究线性方程组Ａｘ＝ｂ的反问题在广义正定矩阵类中的求解，得到了一个简便的充要条件，从而使这类反问题获得了较完满的解决。     

四元数正定阵与线性方程组Ax=b的反问题

引入了四元数正定矩阵的概念，给出了ｎ阶四元数矩阵为正定的充要条件，得到了四元数线性方程组Ａｘ＝ｂ的反问题有正定阵解、正定自共轭阵解的充要条件及解的一般形式。     

关于线性方程组Ax=b的解的注记

考虑了当b固定时，怎样的矩阵G，使x=Gb是相容或不相容线性方程组Ax=b的极小范数解，最小二乘解，从而得到许多有益的结论。     

Ax=b的反问题在拟次正定矩阵类中的求解

该文研究了线性方程组Ａｘ＝ｂ的反问题的拟次正定矩阵类中的求角     

线性方程组Ax=b的反问题解集的构造

证明了齐次线性方程组Ax =0的反问题的解集是Kn×n上的n2 -n维线性子空间 ,并指出了它的一组基 .进一步证明了线性方程组Ax =b的反问题的解集是在最广点组上张成的线性流形 .     

线性方程组AX＝b反问题特解的计算

利用实对称矩阵正定性的一个充要条件，给出线性方程组ＡＸ＝ｂ反问题正定（负定）特解矩阵的计算方法。     

基于QR分解的线性方程组Ax=b解的结构

基于QR分解，运用列正交矩阵的定义和最小二乘广义逆的定义，得到线性方程组Ax=b解的几个性质．     

Ax＝b在广义正定矩阵类中的反问题

研究线性方程组Ａｘ＝ｂ的反问题在广义正定矩阵类中的求解，得到了一个简便的充要条件，从而使这类反问题获得了较完满的解决     

矩阵极化分解定理的简单证明

文章给出不可逆矩阵极化分解的一个简单证明,所给出的方法同样适用于证明可逆矩阵的极化分解．     

对称反循环矩阵的充要条件

本文利用拨乱反正 阵、反循环矩阵和对称徨矩给出了对称反循环矩阵的若干充要条件。     

行反正交矩阵的一些性质

给出行反正交矩阵的概念,并讨论其行列式、可逆性、迹、特征值等问题,得到行反正交矩阵的行列式、逆矩阵、特征值与迹;并得出了以下主要结果:行反正交矩阵是行列对称矩阵,它本身以及它的行转置和列转置矩阵都是可逆矩阵;行反正交矩阵的转置矩阵以及它的行转置和列转置矩阵都仍是行反正交矩阵;行反正交矩阵的行转置矩阵的逆矩阵等于其逆矩阵的行转置,其列转置矩阵的逆矩阵等于其逆矩阵的列转置;它的行转置矩阵的转置等于其转置矩阵的行转置,它的列转置矩阵的转置等于其转置矩阵的列转置.     

求解四元数线性系统Ax=b的矩阵半张量积方法

为了研究四元数线性系统Ax=b的最小二乘问题,提出一种基于矩阵半张量积的求解四元数线性系统的实向量表示.将四元数线性系统转换成实线性系统,并针对约束矩阵A为四元数Hankel次三对角矩阵,提取其独立元素以减小运算复杂度,给出有解的条件及解的表达式.通过数值算例验证该算法的有效性.     

矩阵A^TBA=ABA^T的充要条件

给定半正定矩阵B，考虑矩阵可交换问题A^TBA=ABA^T．运用矩阵分解的方法，给出了满足上述要求的矩阵的一个充要条件．     

分块对称反循环矩阵的性质

给出了分块对称反循环矩阵的概念,讨论了分块对称反循环矩阵的性质,给出了分块对称反循环矩阵的若干充分必要条件.     

循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现

本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.