Toolverse
All skills

rudin-real-complex-analysis

by parcadei

Problem-solving with Rudin's Real and Complex Analysis textbook

Installation

Pick a client and clone the repository into its skills directory.

Installation

Quick info

Author
parcadei
Category
Data Science
Views
16

About this skill

Problem-solving with Rudin's Real and Complex Analysis textbook

How to use

  1. Zainstaluj umiejętność w swoim środowisku Claude, dodając ją do katalogu skills. Upewnij się, że masz dostęp do narzędzi Bash i Read zgodnie z konfiguracją umiejętności.

  2. Określ typ problemu, który chcesz rozwiązać: czy dotyczy teorii miary i całkowania, analizy zespolonej (funkcje analityczne, całki konturowe, residua), czy analizy funkcjonalnej (przestrzenie Lp, twierdzenia o reprezentacji).

  3. Dla problemów związanych z całkowaniem i miarą użyj polecenia zapytania do zawartości Rudina, podając temat w formacie: uv run python scripts/ragie_query.py --query "TWÓJ_TEMAT measure integration" --partition math-textbooks --top-k 5. Zastąp TWÓJ_TEMAT konkretnym zagadnieniem, np. "dominated convergence" lub "Fatou's lemma".

  4. Dla obliczeń symbolicznych i weryfikacji wyników zastosuj SymPy, uruchamiając polecenie: uv run python scripts/sympy_compute.py integrate "WYRAŻENIE" --var ZMIENNA --bounds "GRANICE". Na przykład dla całki Gaussa: uv run python scripts/sympy_compute.py integrate "exp(-x**2)" --var x --bounds "0,oo".

  5. Jeśli pracujesz nad problemem wymagającym formalnej weryfikacji lub sprawdzenia warunków analityczności (takich jak równania Cauchy'ego-Riemanna), skorzystaj z narzędzia Z3 dostępnego w umiejętności do logicznego dowodzenia i walidacji.

  6. Skonsultuj wbudowany przewodnik decyzyjny umiejętności: dla całek wybierz twierdzenie o zdominowanej zbieżności lub lemat Fatou, dla analizy zespolonej sprawdź analityczność i zastosuj twierdzenie o residuach, dla analizy funkcjonalnej użyj reprezentacji Riesza lub twierdzenia Hahna-Banacha.

Related skills

skill-installer

by openai

Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos).

Data Science
23118

claude-automation-recommender

by anthropics

Analyze a codebase and recommend Claude Code automations (hooks, subagents, skills, plugins, MCP servers). Use when user asks for automation recommendations, wants to optimize their Claude Code setup, mentions improving Claude Code workflows, asks how to first set up Claude Code

Data Science
1787

market-research-reports

by davila7

Generate comprehensive market research reports (50+ pages) in the style of top consulting firms (McKinsey, BCG, Gartner). Features professional LaTeX formatting, extensive visual generation with scientific-schematics and generate-image, deep integration with research-lookup for

Data Science
16115

skill-creator

by anthropics

Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or tool integrations.

Data Science
59147

moon-dev-trading-agents

by moondevonyt

Master Moon Dev's Ai Agents Github with 48+ specialized agents, multi-exchange support, LLM abstraction, and autonomous trading capabilities across crypto markets

Data Science
102232

last30days

by sickn33

Research a topic from the last 30 days on Reddit + X + Web, become an expert, and write copy-paste-ready prompts for the user's target tool.

Data Science
2148