Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241): Difference between revisions

@@ Property / cites work @@
+Greedy algorithms for optimizing multivariate Horner schemes
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778705
@@ Property / cites work: Q4778705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738356
@@ Property / cites work: Q4738356 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Numerical Algorithms
@@ Property / cites work: Static Analysis of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738355
@@ Property / cites work: Q4738355 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Semantics of roundoff error propagation in finite precision calculations
+Normal rank
@@ Property / cites work @@
+Semantics-Based Transformation of Arithmetic Expressions
+Normal rank