Learning objectives
What you will be able to explain
- Proof method for inverse differentials
- Trace proof tactics
- Derive the vec identity
- Woodbury verification
- Positive-definite equivalences
- Cookbook proof hygiene
Section 01
Proof method for inverse differentials to Derive the vec identity
01
Proof method for inverse differentials
Guided checkpoint
Starting from , which step yields the inverse differential?
Source: Appendix B.1, pp. 66-72
02
Trace proof tactics
Guided checkpoint
Which manipulations are legitimate?
Source: Appendix B.1, pp. 66-72
03
Derive the vec identity
Guided checkpoint
Why does contain ?
Source: Appendix B.1 and Sec. 10.2, pp. 59-61,66-72
Section 02
Woodbury verification to Cookbook proof hygiene
01
Woodbury verification
Guided checkpoint
A robust verification can proceed by which checks?
Source: Appendix B.1, pp. 66-72
02
Positive-definite equivalences
Guided checkpoint
For real symmetric .
Source: Appendix B.1 and Sec. 9.6, pp. 50-52,66-72
03
Cookbook proof hygiene
Guided checkpoint
Before applying any collected identity, verify:
Source: Introduction and Appendix B, pp. 2,66-72
Knowledge check
Turn understanding into recall.
The quiz now follows the same concepts in scored form. You can return to this lesson from the quiz whenever a gap appears.