Precision-driven computation in the evaluation of expression-dags with common subexpressions: problems and solutions

DOI10.1007/978-3-319-32859-1_39MaRDI QIDQ2807867zbMATH OpenOpenAlexFDO

Authors Marc Mörig, Stefan Schirra

Publication date 25 May 2016

Published in Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-32859-1_39

zbMATH Keywords

exact geometric computationexpression-dag-based number typesprecision-driven computationverified numerical computing

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Algorithms with automatic result verification (65G20)

Recommendations

• Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation
• scientific article; zbMATH DE number 4076470
• scientific article; zbMATH DE number 1273698
• scientific article; zbMATH DE number 1440910
• scientific article; zbMATH DE number 3963065

Cited in

(3)

• Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation
• Restructuring expression dags for efficient parallelization
• Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags

This page was built for publication: Precision-driven computation in the evaluation of expression-dags with common subexpressions: problems and solutions

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