A canonical form for congruence of matrices was introduced by Turnbull and Aitken in 1932. More than 70 years later, in 2006, another canonical form for congruence has been introduced by Horn and Sergeichuk. The main purpose of this paper is to compare both canonical forms and provide a brief survey on the history of the canonical form for congruence.

We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory rather difficult. We develop a normal form for formulae which minimises the interaction between these operators, as well as a refined canonical model construction. From these we derive an ax...

This paper consists of three sections. In the first section an efficient method is used for decomposition of the canonical matrices associated with repetitive structures. to this end, cylindrical coordinate system, as well as a special numbering scheme were employed. In the second section, divide and conquer method have been used for eigensolution of these structures, where the matrices are in ...

In this paper, we relate the feedback canonical form \textbf{FNCF} of differential-algebraic control systems (DACSs) with famous Morse \textbf{MCF} ordinary differential equation (ODECSs). First, a procedure called an explicitation (with driving variables) is proposed to connect two above categories by attaching DACS class ODECSs kinds inputs (the original input $u$ and vector variables $v$). T...

‎Two types of properties for linear connections (natural and almost paracontact metric) are discussed in almost paracontact metric geometry with respect to four linear connections‎: ‎Levi-Civita‎, ‎canonical (Zamkovoy)‎, ‎Golab and generalized dual‎. ‎Their relationship is also analyzed with a special view towards their curvature‎. ‎The particular case of an almost paracosymplectic manifold giv...