integration-theory
CommunitySolve measure theory integration problems.
Authorscooter-lacroix
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides strategies and tools to solve complex integration problems within the field of measure theory, particularly when dealing with sequences of functions and product measures.
Core Features & Use Cases
- Function Integration: Solves integrals for simple functions and applies convergence theorems (MCT, DCT, Fatou's Lemma).
- Product Measures: Facilitates switching integration order using Fubini-Tonelli theorems.
- Use Case: You need to prove a statement about the limit of integrals of a sequence of functions. This skill can guide you through applying the Monotone Convergence Theorem or Dominated Convergence Theorem, or use Z3 to formally prove it.
Quick Start
Use the integration-theory skill to prove that the limit of integrals equals the integral of the limit for an increasing sequence of functions.
Dependency Matrix
Required Modules
sympyz3-solver
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: integration-theory Download link: https://github.com/scooter-lacroix/Maestro/archive/main.zip#integration-theory Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.