/explore
|
You are here 
|
leanprover-community.github.io | ||
| | | | |
mathscholar.org
[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. |
|
| | | | | ||
| | | | |
cronokirby.com
- Read more: https://cronokirby.com/posts/2021/02/tychonoff-theorem-and-zorns-lemma/ |
|
| | | | | ||
| | | | |
www.jeremykun.com
Last time we defined and gave some examples of rings. Recapping, a ring is a special kind of group with an additional multiplication operation that "plays nicely" with addition. The important thing to remember is that a ring is intended to remind us arithmetic with integers (though not too much: multiplication in a ring need not be commutative). We proved some basic properties, like zero being unique and negation being well-behaved. |
|
| | | | | ||
| | | | |
www.reedbeta.com
When you read BRDF theory papers, you'll often see mention of slope space. Sometimes, components of the BRDF such as NDFs or masking-shadowing functions are defined in slope space, or operations are done in slope space before being converted back to ordinary vectors or polar coordinates. However, the meaning and intuition of slope space is rarely explained. Since it may not be obvious exactly what slope space is, why it is useful, or how to transform things to and from it, I thought I would write down a ... |
|
| | | |||
