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

@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FRIDGE
@@ Property / describes a project that uses: FRIDGE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Simulink
@@ Property / describes a project that uses: Simulink / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2006.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2075202684
@@ Property / OpenAlex ID: W2075202684 / rank @@
+Normal rank
@@ 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