Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions (Q2807867)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions |
scientific article |
Statements
Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions (English)
0 references
25 May 2016
0 references
precision-driven computation
0 references
exact geometric computation
0 references
expression-dag-based number types
0 references
verified numerical computing
0 references
