The following pages link to (Q4808717):
Displaying 4 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)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
