Pages that link to "Item:Q3989943"
From MaRDI portal
The following pages link to Practical tools for reasoning about linear constraints (Q3989943):
Displaying 7 items.
- Standard forms for rational linear arithmetic in constraint logic programming. (Q1354046) (← links)
- Consistency, redundancy, and implied equalities in linear systems (Q1380438) (← links)
- Solving linear constraints over real and rational fields (Q2452760) (← links)
- Variable Elimination in Linear Constraints (Q3140557) (← links)
- Variable Elimination for Disequations in Generalized Linear Constraint Systems (Q3140558) (← links)
- Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs (Q3522065) (← links)
- Static Analysis (Q5466578) (← links)