Pages that link to "Item:Q2796046"
From MaRDI portal
The following pages link to Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem (Q2796046):
Displaying 5 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (Q3303890) (← links)
