Pages that link to "Item:Q2864839"
From MaRDI portal
The following pages link to Generating Non-linear Interpolants by Semidefinite Programming (Q2864839):
Displaying 10 items.
- Barrier certificates revisited (Q507352) (← links)
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Nonlinear Interpolation and Total Variation Diminishing Schemes (Q4693882) (← links)
- Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
- Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis (Q5915714) (← links)