Pages that link to "Item:Q2342596"

The following pages link to The octagon abstract domain for continuous constraints (Q2342596):

Displaying 2 items.

• Incrementally closing octagons (Q2335904) (← links)
• Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals (Q6116524) (← links)