Pages that link to "Item:Q5310669"
From MaRDI portal
The following pages link to Combining decision procedures for the reals (Q5310669):
Displaying 4 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- A general setting for flexibly combining and augmenting decision procedures (Q1610671) (← links)
- A decision procedure for linear ``big O'' equations (Q2642465) (← links)
- Extending a Resolution Prover for Inequalities on Elementary Functions (Q3498456) (← links)