Approximations for Model Construction

DOI10.1007/978-3-319-08587-6_26MaRDI QIDQ3192205zbMATHOpenAlexFDO

Authors Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

Publication date 26 September 2014

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-238017

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 5233389
• Construction of approximate mathematical models on results of numerical experiments
• scientific article; zbMATH DE number 477682
• Approximate aggregation of a class of mathematical models
• Towards intelligent modeling: statistical approximation theory
• Model-Based Interpolation, Prediction, and Approximation
• Discussion: Models as approximations
• Comment on: ``Models as approximations

Cited in

(9)

• Towards intelligent modeling: statistical approximation theory
• An approximation framework for solvers and decision procedures
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• Comment on: ``Models as approximations
• scientific article; zbMATH DE number 5233389 (Why is no real title available?)
• Optimization modulo the theory of floating-point numbers
• Exploring approximations for floating-point arithmetic using UppSAT
• Model-Based Interpolation, Prediction, and Approximation
• Model selection for simplicial approximation

This page was built for publication: Approximations for Model Construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192205)