with one click
rudin-real-complex-analysis
Problem-solving with Rudin's Real and Complex Analysis textbook
Problem-solving with Rudin's Real and Complex Analysis textbook
| name | rudin-real-complex-analysis |
| description | Problem-solving with Rudin's Real and Complex Analysis textbook |
| allowed-tools | ["Bash","Read"] |
Reference skill for Walter Rudin's "Real and Complex Analysis" (3rd Edition) - a graduate-level text covering measure theory, integration, functional analysis, and complex analysis.
Use this skill when working on:
Measure/Integration Problem?
Complex Analysis Problem?
Functional Analysis?
uv run python scripts/ragie_query.py --query "YOUR_TOPIC measure integration" --partition math-textbooks --top-k 5
uv run python scripts/sympy_compute.py integrate "exp(-x**2)" --var x --bounds "0,oo"
uv run python scripts/z3_solve.py prove "forall x, |f(x)| <= M implies bounded"
| Theorem | Chapter | Use Case |
|---|---|---|
| Dominated Convergence | Ch 1 | Interchange limit and integral |
| Riesz Representation | Ch 2 | Identify dual spaces |
| Cauchy's Theorem | Ch 10 | Contour integrals = 0 for analytic |
| Residue Theorem | Ch 10 | Evaluate real integrals |
| Open Mapping | Ch 5 | Surjective bounded linear maps |
See .claude/skills/math-mode/SKILL.md for full tool documentation.
Create git commits with user approval and no Claude attribution
Create or update continuity ledger for state preservation across clears
Create handoff document for transferring work to another session
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Search Mathlib for lemmas by type signature pattern