54 posts in total
2024
Laurent Series for 1/(e^z - 1)
resources for differential geometry
resources for automated therom proving
Introduction to Quotient Spaces in Topology
An Elementary Approach to Proving a Continuous Function with All Zero Fourier Coefficients is Identically Zero
ARM Mac execute x86 command
Check Which System is the Python based on
2023
Some Comparing lemmas in analysis (epsilon delta language)
A Fun Limit: relationship between (n!)^(1/n) and n
Relationship between Ratio and Root test