analytic_continuation
CommunityExtend analytic reach with safe continuation.
Education & Research#mathematics#lean4#complex-analysis#analytic-continuation#identity-theorem#schwarz-reflection#theoretical-analysis
Authorbneb
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill provides a guided framework for extending complex analytic functions beyond their initial domain using core theorems like the Identity Theorem and Schwarz reflection, enabling global insights from local data.
Core Features & Use Cases
- Theoretical continuation framework: explains how to construct a continuation and verify uniqueness.
- Practical motifs: outlines Schwarz reflection, functional equations, and analytic continuation strategies across domains.
- Use Case: a researcher wants to extend a function defined on a subset of the complex plane to a larger region and deduce global properties.
Quick Start
Propose a function defined on an open set and demonstrate a continuation to a larger domain using the identity theorem and Schwarz reflection.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: analytic_continuation Download link: https://github.com/bneb/perqed/archive/main.zip#analytic-continuation 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.