Pages that link to "Item:Q3192205"
From MaRDI portal
The following pages link to Approximations for Model Construction (Q3192205):
Displaying 9 items.
- Towards intelligent modeling: statistical approximation theory (Q532991) (← links)
- Model selection for simplicial approximation (Q656812) (← links)
- Exploring approximations for floating-point arithmetic using UppSAT (Q1799086) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- Comment on: ``Models as approximations'' (Q2194568) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)
- Model-Based Interpolation, Prediction, and Approximation (Q3144136) (← links)
- (Q5438870) (← links)