Pages that link to "Item:Q3140556"
From MaRDI portal
The following pages link to Applying Linear Quantifier Elimination (Q3140556):
Displaying 7 items.
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- (Q5013828) (← links)
- Certified Reasoning with Infinity (Q5206958) (← links)
- Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770) (← links)
- Improved algorithms for linear complementarity problem arising from collision response (Q5943287) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)
- Verification Modulo theories (Q6056642) (← links)