Explore >> Select a destination


You are here

www.jeremykun.com
| | 0fps.net
3.3 parsecs away

Travel
| | In this post, I am going to go into a bit of a mathematical digression about the fundamentals of solid modeling. In a nutshell, solid modeling is the study of digital representations of physical shapes. This was a hot topic in the early days of computing and computer aided design, and led to some pretty...
| | jeremykun.wordpress.com
1.4 parsecs away

Travel
| | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up...
| | mathscholar.org
4.9 parsecs away

Travel
| | [AI summary] The text presents a detailed, self-contained proof of the Fundamental Theorem of Calculus (FTC) using basic principles of calculus and real analysis. It breaks the proof into two parts: Part 1 establishes that the integral of a continuous function defines a differentiable function whose derivative is the original function, and Part 2 shows that the definite integral of a continuous function can be computed as the difference of an antiderivative evaluated at the endpoints. The proof relies on lemmas about continuity, differentiability, and the properties of integrals, avoiding advanced techniques. The text is structured to provide a clear, step-by-step derivation of the FTC for readers familiar with calculus fundamentals.
| | mycqstate.wordpress.com
24.5 parsecs away

Travel
| [7/9/17 Update: Following a suggestion by Oded Regev I upgraded Section 1 from "probabilistic functions" to "matrix-valued functions". This hopefully makes it a more useful, and interesting, mid-point between the classical analysis of BLR and the non-abelian extension discussed afterwards. I also fixed a bunch of typos -- I apologize for the many remaining ones....