resources for graduate real variable
I found that the PDFs online they all don't have content embedded with the file, so I added the content myself: - text_book - solution I am taking the MATH-GA.2430-001 Real Variables I, by Tristan Buc
Comments on Differential Geometry Class
In the semester of 2024 Spring, I took Differential Geometry by Professor Hisham Sati. The course is undoubtedly intense and covers a broad range of advanced topics. Professor Sati has designed it wit
Filling Gaps in Time Series
I implemented this algorithm for filling gaps in a time series data. The full Repository is here: Repo, where you can check the paper my Professor Paparella published, based on which this algorithm is
Laurent Series for 1/(e^z - 1)
Source of the problem Basic Complex Analysis 3rd Edition by Jerrold E. Marsden and Michael J. Hoffman (1999). Exercise #11 on page 236. Solution To find the Laurent series expansion of \(\frac{1}{e^z
resources for automated therom proving
Some resources for learning automated therom proving, logic, functional programming, coq, etc
Introduction to Quotient Spaces in Topology
This blog is part of a series designed to demystify various concepts within the realm of linear algebra and topology. Following our discussion on vectors, we will now turn our attention to quotient sp
An Elementary Approach to Proving a Continuous Function with All Zero Fourier Coefficients is Identically Zero
When delving into the fascinating world of Fourier series and their convergence properties for functions within the $ C^N $ space, we encounter a fundamental question: Can a continuous function, which