Some Miscellaneous Factorizations

Miscellaneous properties of some multivariable polynomials

Rigorous Perturbation Bounds of Some Matrix Factorizations

This article presents rigorous normwise perturbation bounds for the Cholesky, LU and QR factorizations with normwise or componentwise perturbations in the given matrix. The considered componentwise perturbations have the form of backward rounding errors for the standard factorization algorithms. The used approach is a combination of the classic and refined matrix equation approaches. Each of th...

Factorizations of some weighted spanning tree enumerators

We give factorizations for weighted spanning tree enumerators of Cartesian products of complete graphs, keeping track of fine weights related to degree sequences and edge directions. Our methods combine Kirchhoff’s Matrix-Tree Theorem with the technique of identification of factors.

Miscellaneous HOL

Miscellaneous HOL