Formal analysis of continuous-time systems using Fourier transform (Q1640640): Difference between revisions

@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2742017769
@@ Property / OpenAlex ID: W2742017769 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09941
@@ Property / arXiv ID: 1707.09941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4429927
@@ Property / cites work: Q4429927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967932
@@ Property / cites work: Q3967932 / rank @@
+Normal rank
@@ Property / cites work @@
+The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?
+Normal rank
@@ Property / cites work @@
+Q5449101
@@ Property / cites work: Q5449101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+The HOL Light theory of Euclidean space
@@ Property / cites work: The HOL Light theory of Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Maple
@@ Property / cites work: Understanding Maple / rank @@
+Normal rank
@@ Property / cites work @@
+MATLAB Guide, Third Edition
@@ Property / cites work: MATLAB Guide, Third Edition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856560
@@ Property / cites work: Q3856560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formalization of Fourier Transform in Higher-order Logic
+Normal rank
@@ Property / cites work @@
+Formalization of transform methods using HOL Light
+Normal rank
@@ Property / cites work @@
+On the Formalization of Z-Transform in HOL
@@ Property / cites work: On the Formalization of Z-Transform in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light
+Normal rank