Error analysis of digital filters using HOL theorem proving (Q2475434): Difference between revisions

@@ Property / cites work @@
+Formalization of fixed-point arithmetic in HOL
@@ Property / cites work: Formalization of fixed-point arithmetic in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5535370
@@ Property / cites work: Q5535370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing the real numbers in HOL
@@ Property / cites work: Constructing the real numbers in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Q5558255
@@ Property / cites work: Q5558255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993068
@@ Property / cites work: Q3993068 / rank @@
+Normal rank
@@ Property / cites work @@
+Floating-Point-Roundoff Accumulation in Digital-Filter Realizations
+Normal rank
@@ Property / cites work @@
+Q4342463
@@ Property / cites work: Q4342463 / rank @@
+Normal rank