Pages that link to "Item:Q2814099"
From MaRDI portal
The following pages link to Abstract fixpoint computations with numerical acceleration methods (Q2814099):
Displaying 7 items.
- Abstract interpretation meets convex optimization (Q435969) (← links)
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- IMPROVING THE COMPUTATIONAL EFFICIENCY OF FIXED POINT ALGORITHMS (Q3313639) (← links)
- Numerical reckoning fixed points via new faster iteration process (Q5049600) (← links)
- Sound Numerical Computations in Abstract Acceleration (Q5086230) (← links)