Pages that link to "Item:Q5916266"

The following pages link to Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266):

Displaying 2 items.

• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
• Pegasus: sound continuous invariant generation (Q2147687) (← links)