Pages that link to "Item:Q891730"
From MaRDI portal
The following pages link to The structure of polynomial invariants of linear loops (Q891730):
Displaying 9 items.
- Analysis of linear definite iterative loops (Q289808) (← links)
- Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366) (← links)
- A fast algorithm for computing multiplicative relations between the roots of a generic polynomial (Q2229723) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- Polynomial invariants for linear loops (Q2452765) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- (Q3476927) (← links)
- (Q4250992) (← links)
- Polynomial Invariants for Affine Programs (Q5145329) (← links)