Approximations for Model Construction

DOI10.1007/978-3-319-08587-6_26MaRDI QIDQ3192205zbMATH OpenOpenAlexFDO

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)

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