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

DOI10.1007/978-3-319-32859-1_39zbMATH Open1460.65018OpenAlexW2492443049MaRDI QIDQ2807867FDOQ2807867

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

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

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)

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)