Execute qualquer Skill no Manus
com um clique

Execute qualquer Skill no Manus com um clique

mathematics-theorems

Repository of mathematical theorems referenced by LandauGraph reasoning nodes. Stores complete proofs for results that are asserted but not derived in templates: Bertrand's theorem, Liouville-Arnold theorem, distribution identities, Airy asymptotics, and other mathematical infrastructure required for full derivations.

Executar no Manus

Visão geral

Comando de instalação

npx skills add https://github.com/zhiping0913/physics_skills --skill mathematics-theorems

Copie e cole este comando no Claude Code para instalar a skill

Fonte

zhiping0913/physics_skills

Estrelas0

Forks0

Atualizado28 de maio de 2026 às 23:45

Explorador de arquivos

3 arquivos

SKILL.md

readonly

name	mathematics-theorems
description	Repository of mathematical theorems referenced by LandauGraph reasoning nodes. Stores complete proofs for results that are asserted but not derived in templates: Bertrand's theorem, Liouville-Arnold theorem, distribution identities, Airy asymptotics, and other mathematical infrastructure required for full derivations.

Mathematics Theorems Repository

Complete proofs for mathematical theorems that LandauGraph reasoning nodes assert but do not derive. Agents load these when encountering "this is a theorem" statements in reasoning templates.

How to Use

When a reasoning node says "this is a theorem — the proof requires...", load the corresponding reference file. Proofs are mathematical, not physical.

Index

Theorem	Used in	File
Bertrand's theorem	`conservation_to_effective_reduction` (V1)	`bertrand-theorem.md`
Liouville-Arnold theorem	`separation_of_variables` (V1)	`liouville-arnold.md`
Distribution limit sin²(αt)/α²→δ(α)	`quantum_perturbation_theory` (V3)	`distribution-limits.md`
Airy function asymptotics	`wkb_quasiclassical` (V3)	`airy-asymptotics.md`
4D δ-function with Jacobian	`retarded_green_function` (V2)	`delta-function-4d.md`

Maintenance

Add new entries when a reasoning node asserts a non-trivial mathematical result or when agents consistently get stuck on a mathematical step.

Mais deste repositório

mesmo repositório

electrodynamics

zhiping0913/physics_skills

Electrodynamics reasoning and knowledge graph — extends landau-graph with boundary-value methods, waveguides, antennas, scattering, crystal optics, coherence theory, and nonlinear/strong-field electrodynamics from 6 standard textbooks.

2026-06-030

optics

zhiping0913/physics_skills

Optics engineering skill — extends landau-graph, electrodynamics, and plasma with Fourier optics, laser engineering, ultrashort pulse generation/measurement, acousto/electro-optics, stimulated scattering, and wave propagation in real media from 11 specialized textbooks.

2026-06-030

plasma

zhiping0913/physics_skills

Plasma physics reasoning and knowledge graph — extends landau-graph and electrodynamics with magnetized plasma waves, MHD stability, transport, laser-plasma interaction, and surface plasmonics from 10 standard textbooks.

2026-06-030

landau-graph

zhiping0913/physics_skills

LandauGraph — reasoning-constrained skill graph distilled from Landau-Lifshitz 10-volume Course of Theoretical Physics. 97 nodes, 196 edges. 4 edge types: prerequisite, reasoning-instance, abstraction, analogy. Production graph for agent physics reasoning.

2026-06-030

si-gaussian-conversion

zhiping0913/physics_skills

Complete SI ↔ Gaussian unit conversion for electrodynamics. Replace ε₀, μ₀, c factors when translating between Jackson (SI), Landau (Gaussian), and other sources. Essential when using landau-graph (Gaussian) alongside electrodynamics skill (SI).

2026-06-030

discipline-distillation

zhiping0913/physics_skills

Universal methodology for distilling any mathematically rigorous discipline into a reasoning-constrained skill graph consumable by AI agents. Three-track extraction (reasoning mining, knowledge grounding, dependency mining), systematic rumination with blind-derivation validation, and cross-volume bridge construction. Complete worked example: Landau-Lifshitz 10-volume Course of Theoretical Physics (96 nodes, 188 edges).

2026-05-290

Fonte

zhiping0913

zhiping0913/physics_skills

Abrir repositório GitHub Ver repositórios do creator

Comando de instalação

Download

Executar no Manus

Útil paraSOC

FísicosCiências da Vida, Físicas e Sociais19-2012L4

name	mathematics-theorems
description	Repository of mathematical theorems referenced by LandauGraph reasoning nodes. Stores complete proofs for results that are asserted but not derived in templates: Bertrand's theorem, Liouville-Arnold theorem, distribution identities, Airy asymptotics, and other mathematical infrastructure required for full derivations.

Mathematics Theorems Repository

Complete proofs for mathematical theorems that LandauGraph reasoning nodes assert but do not derive. Agents load these when encountering "this is a theorem" statements in reasoning templates.

How to Use

When a reasoning node says "this is a theorem — the proof requires...", load the corresponding reference file. Proofs are mathematical, not physical.

Index

Theorem	Used in	File
Bertrand's theorem	`conservation_to_effective_reduction` (V1)	`bertrand-theorem.md`
Liouville-Arnold theorem	`separation_of_variables` (V1)	`liouville-arnold.md`
Distribution limit sin²(αt)/α²→δ(α)	`quantum_perturbation_theory` (V3)	`distribution-limits.md`
Airy function asymptotics	`wkb_quasiclassical` (V3)	`airy-asymptotics.md`
4D δ-function with Jacobian	`retarded_green_function` (V2)	`delta-function-4d.md`

Maintenance

Add new entries when a reasoning node asserts a non-trivial mathematical result or when agents consistently get stuck on a mathematical step.