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

2024-05-17

Daily Logs > Courses Review

#Courses Comments #Courses Review #differential geometry

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

2024-05-07

Daily Logs > Math > Numerical Method

#Math #Numerical Method #Applied Math #Time Series #Algorithms

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

2024-04-29

Daily Logs > Math > Analysis > Complex Analysis

#Math #Analysis #Complex Analysis #Laurent Series

resources for differential geometry

Some resources for differential geometry

2024-04-21

Daily Logs > Resources Share

#Math #differential geometry #Resource Share #Practice Problem #Vector Bundle #Notes #Public Courses

resources for automated therom proving

Some resources for learning automated therom proving, logic, functional programming, coq, etc

2024-04-21

Daily Logs > Resources Share

#Resource Share #Functional Programming #Coq #Automated Therom Proving

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

2024-04-09

Daily Logs > Math > Topology

#Math #Differential Geometry #Topology #Quotient Spaces

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

2024-03-02

ARM Mac execute x86 command

Check and switch between ARM and x86 command

2024-01-10

Check Which System is the Python based on

Check whether your python is x86 or arm

2024-01-10

Some Comparing lemmas in analysis (epsilon delta language)

lemma of "less than" Content: \(x, y \in \Bbb{R}\), \(\forall \epsilon \gt 0\), \(x \lt y + \epsilon\), then \(x \leq y\) Proof lemma of "Equal" Content: \(x, y \in \Bbb{R}\), \(\forall \epsilon \gt

2023-12-18

Daily Logs > Math > Analysis

#Math #Analysis #Real Analysis #Metric #Functional Space