The Structure of Polynomial Invariants of Linear Loops
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605518882 | ||
| 003 | CHVBK | ||
| 005 | 20210128100727.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150501xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10559-015-9736-7 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10559-015-9736-7 | ||
| 100 | 1 | |a Lvov |D M. |u Kherson State University, Kherson, Ukraine |4 aut | |
| 245 | 1 | 4 | |a The Structure of Polynomial Invariants of Linear Loops |h [Elektronische Daten] |c [M. Lvov] |
| 520 | 3 | |a . This article considers the problem of generating polynomial invariants for iterative loops with loop initialization statements and nonsingular linear operators in loop bodies. The set of such invariants forms an ideal in the ring of polynomials in the loop variables. Two algorithms are presented one of which calculates basic invariants for a linear operator in the form of a Jordan cell and the other calculates basic invariants for a diagonalizable linear operator with an irreducible minimal characteristic polynomial. The following theorem on the structure of the basis of the ideal of invariants for such an operator is proved: this basis consists of basic invariants of Jordan cells and basic invariants of the diagonalizable part of the linear operator being considered. | |
| 540 | |a Springer Science+Business Media New York, 2015 | ||
| 690 | 7 | |a static analysis of programs |2 nationallicence | |
| 690 | 7 | |a linear loop |2 nationallicence | |
| 690 | 7 | |a loop invariant |2 nationallicence | |
| 690 | 7 | |a invariant polynomial |2 nationallicence | |
| 773 | 0 | |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/3(2015-05-01), 448-460 |x 1060-0396 |q 51:3<448 |1 2015 |2 51 |o 10559 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10559-015-9736-7 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10559-015-9736-7 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Lvov |D M. |u Kherson State University, Kherson, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/3(2015-05-01), 448-460 |x 1060-0396 |q 51:3<448 |1 2015 |2 51 |o 10559 | ||