Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions

DOI10.1007/978-3-319-32859-1_39zbMath1460.65018OpenAlexW2492443049MaRDI QIDQ2807867

Stefan Schirra, Marc Mörig

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)

Related Items (1)

Restructuring Expression Dags for Efficient Parallelization

This page was built for publication: Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions