Pages that link to "Item:Q3306912"
From MaRDI portal
The following pages link to Detection of ranking functions of polynomial loop programs (Q3306912):
Displaying 4 items.
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Synthesizing ranking functions for loop programs via SVM (Q2084940) (← links)
- Tight worst-case bounds for polynomial loop programs (Q2289065) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)