Titlebook: Algebraic Informatics; 9th International Co Dimitrios Poulakis,George Rahonis Conference proceedings 2022 The Editor(s) (if applicable) and

審問,審訊

胰臟

subordinate

A Normal Form for?Matrix Multiplication Schemesmes cumbersome. In this paper we propose an algorithm to compute a normal form of matrix multiplication schemes. This allows us to decide pairwise equivalence of a larger number of schemes efficiently.

perpetual

Bideterministic Weighted Automatas observed that this property does not hold over finite commutative rings in general. Moreover, it is shown that the?problem of?determining whether a given rational series is realised by?a?bideterministic automaton is decidable over fields as well as?over tropical semirings.

變形

Computation of?Solutions to?Certain Nonlinear Systems of?Fuzzy Relation Inequations This paper studies fuzzy relation inequations that include the degree of subsethood and the degree of equality of fuzzy sets. We provide formulae for determining the greatest solutions to systems of such fuzzy relation inequations. We provide alternative ways to compute these solutions when we cannot run the methods based on these formulae.

outskirts

When Variable-Length Codes Meet the?Field of?Error Detectionressed in term of conditions over .. With respect to the prefix metric, the factor one, and every quasi-metric associated to (anti-)automorphisms of the free monoid, we examine whether those conditions are decidable for a given regular code.

直言不諱

Chaining Multiplications in?Finite Fields with?Chudnovsky-Type Algorithms and?Tensor Rank of?the?k-Ms with components in .. This generalization of the widely studied case of . is based on a modification of the Riemann-Roch spaces involved and the use of towers of function fields having a lot of places of high degree.

conquer

On Some Algebraic Ways to?Calculate Zeros of?the?Riemann Zeta Function the zeta function. Calculations require the knowledge of the value of this function and of . its initial derivatives at one point and consist in solving . systems of linear equations with?. unknowns..These methods are not intended for practical calculations but are supposed to be useful for the study of the zeros.

他一致

極端的正確性