Fourier Series Formalization in ACL2(r)
نویسندگان
چکیده
منابع مشابه
Fourier Series Formalization in ACL2(r)
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is als...
متن کاملDetermination of a jump by Fourier and Fourier-Chebyshev series
By observing the equivalence of assertions on determining the jump of a function by its differentiated or integrated Fourier series, we generalize a previous result of Kvernadze, Hagstrom and Shapiro to the whole class of functions of harmonic bounded variation. This is achieved without the finiteness assumption on the number of discontinuities. Two results on determination of ...
متن کاملResidual analysis using Fourier series transform in Fuzzy time series model
In this paper, we propose a new residual analysis method using Fourier series transform into fuzzy time series model for improving the forecasting performance. This hybrid model takes advantage of the high predictable power of fuzzy time series model and Fourier series transform to fit the estimated residuals into frequency spectra, select the low-frequency terms, filter out high-frequency term...
متن کاملFourier Series
for some fixed τ , which is called the period of f . Though function approximation using orthogonal polynomials is very convenient, there is only one kind of periodic polynomial, that is, a constant. So, polynomials are not good for approximating periodic functions. In this case, trigonometric functions are quite useful. A large class of important computational problems falls under the category...
متن کاملFourier Series
Here are some facts about Fourier Series — useful for pde and elsewhere. Proofs of Lemmas are easy exercises, and not given. On the other hand, proofs of LEMMAS are harder; their proofs are indicated, or a reference is given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.192.4