The following pages link to Termination of polynomial loops (Q2233526):
Displaying 5 items.
- Synthesizing ranking functions for loop programs via SVM (Q2084940) (← links)
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops (Q2104561) (← links)
- (Q5028427) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- Invariant relations for affine loops (Q6592111) (← links)
