Pages that link to "Item:Q1311622"

The following pages link to Discovery of invariant equalities in programs over data fields (Q1311622):

Displaying 5 items.

• Analysis of linear definite iterative loops (Q289808) (← links)
• Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366) (← 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)
• Polynomial invariants for linear loops (Q2452765) (← links)