Pages that link to "Item:Q466366"

The following pages link to Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366):

Displaying 3 items.

• Analysis of linear definite iterative loops (Q289808) (← links)
• The structure of polynomial invariants of linear loops (Q891730) (← links)
• A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)