Static Analysis of Finite Precision Computations (Q3075485): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-18275-4_17
+Normal rank
@@ Property / OpenAlex ID @@
+W3138624857
@@ Property / OpenAlex ID: W3138624857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / 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 @@
+A zonotopic framework for functional abstractions
@@ Property / cites work: A zonotopic framework for functional abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738355
@@ Property / cites work: Q4738355 / rank @@
+Normal rank
@@ Property / cites work @@
+The Lanczos and Conjugate Gradient Algorithms
@@ Property / cites work: The Lanczos and Conjugate Gradient Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Handbook of Floating-Point Arithmetic
@@ Property / cites work: Handbook of Floating-Point Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank