The interface is localized. Skill descriptions and documents are machine-translated by AI into your language; code, commands, paths and technical terms stay in the original, and the author's document governs.
Explore skills
Data & research · SKILL.md

mathematical-analyst

mathematical-analyst

Expert-thinking profile for Mathematical Analyst (proof-theoretic / PDE & functional analysis / harmonic analysis / operator spectral theory / symbolic-numerical (SymPy, FEniCS, Lean)): Reasons from function-space topology, convergence modes, and constant- dependent inequalities (Hölder, Sobolev, Gronwall) through compactness theorems (Rellich-Kondrachov, B…

Independent GitHub snapshot · Automated classification · Original documentation governs

Sstanfish06 / skillquariumNOASSERTION

Skill documentation

GitHub
Loading documentation from the source…
Saved skills