Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs, I. A Gram classification

D Simson - Fundamenta Informaticae, 2016 - content.iospress.com
We continue the Coxeter spectral study of the category 𝒰ℬigr m of loop-free edge-bipartite
(signed) graphs Δ, with m≥ 2 vertices, we started in [SIAM J. Discr. Math. 27 (2013), 827 …

Congruences of edge-bipartite graphs with applications to Grothendieck group recognition I. Inflation algorithm revisited

A Mróz - Fundamenta INFormaticae, 2016 - content.iospress.com
We study edge-bipartite graphs (bigraphs), a class of signed graphs, by means of the
inflation algorithm which relies on performing certain elementary transformations on a given …

Inflation agorithm for Cox-regular postive edge-bipartite graphs with loops

B Makuracki, D Simson… - Fundamenta Informaticae, 2017 - content.iospress.com
We continue the study of finite connected edge-bipartite graphs Δ, with m≥ 2 vertices (a
class of signed graphs), started in [SIAM J. Discrete Math. 27 (2013), 827-854] and …

[HTML][HTML] Inflation algorithm for loop-free non-negative edge-bipartite graphs of corank at least two

D Simson, K Zając - Linear Algebra and its Applications, 2017 - Elsevier
We continue the study of finite connected loop-free edge-bipartite graphs Δ, with m≥ 3
vertices (a class of signed graphs), we started in Simson (2013)[48] and M. Gąsiorek et …

On the computational complexity of Bongartz's algorithm

A Mróz - Fundamenta Informaticae, 2013 - content.iospress.com
We study the complexity of Bongartz's algorithm for determining a maximal common direct
summand of a pair of modules M, N over k-algebra Λ; in particular, we estimate its …

Combinatorial algorithms for computing degenerations of modules of finite dimension

A Mróz, G Zwara - Fundamenta Informaticae, 2014 - content.iospress.com
We present combinatorial algorithms for solving three problems that appear in the study of
the degeneration order≤ deg for the variety of finite-dimensional modules over a k-algebra …

Effective nondeterministic positive definiteness test for unidiagonal integral matrices

A Mróz - 2016 18th International Symposium on Symbolic and …, 2016 - ieeexplore.ieee.org
For standard algorithms verifying positive definiteness of a matrix A∈ Mn (R) based on
Sylvester's criterion, the computationally pessimistic case is this when A is positive definite …

Numerical Computation, Symbolic Computation and Result Analysis of Jordan Decomposition of Time-Varying Matrices

Z Zhen, Y Zhang, X Liu, Y Ling… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
Jordan decomposition is a special form of matrix decomposition. As a method applicable to
general square matrix, Jordan decomposition is capable of finding a similar matrix that is …

Two nondeterministic positive definiteness tests for unidiagonal integral matrices

A Mróz - arXiv preprint arXiv:1906.12312, 2019 - arxiv.org
For standard algorithms verifying positive definiteness of a matrix $ A\in\mathbb {M} _n
(\mathbb {R}) $ based on Sylvester's criterion, the computationally pessimistic case is this …