The following pages link to (Q4808717):
Displayed 5 items.
- A class of problems that can be solved using interval algorithms (Q411419) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- On a decision procedure for quantified linear programs (Q2462634) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)