Displaying similar documents to “Determinants of matrices related to the Pascal triangle”

Explicit formulas for the constituent matrices. Application to the matrix functions

R. Ben Taher, M. Rachidi (2015)

Special Matrices

Similarity:

We present a constructive procedure for establishing explicit formulas of the constituents matrices. Our approach is based on the tools and techniques from the theory of generalized Fibonacci sequences. Some connections with other results are supplied. Furthermore,we manage to provide tractable expressions for the matrix functions, and for illustration purposes we establish compact formulas for both the matrix logarithm and the matrix pth root. Some examples are also provided. ...

Some Basic Properties of Some Special Matrices. Part III

Xiquan Liang, Tao Wang (2012)

Formalized Mathematics

Similarity:

This article describes definitions of subsymmetric matrix, anti-subsymmetric matrix, central symmetric matrix, symmetry circulant matrix and their basic properties.

A Theory of Matrices of Real Elements

Yatsuka Nakamura, Nobuyuki Tamura, Wenpai Chang (2006)

Formalized Mathematics

Similarity:

Here, the concept of matrix of real elements is introduced. This is defined as a special case of the general concept of matrix of a field. For such a real matrix, the notions of addition, subtraction, scalar product are defined. For any real finite sequences, two transformations to matrices are introduced. One of the matrices is of width 1, and the other is of length 1. By such transformations, two products of a matrix and a finite sequence are defined. Also the linearity of such product...