ワンクリックでManusで任意のスキルを実行

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.

Manusで実行

概要

インストールコマンド

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

このコマンドをClaude Codeにコピー＆ペーストしてスキルをインストール

ソース

zhiping0913/physics_skills

スター0

フォーク0

更新日2026年5月28日 23:45

ファイルエクスプローラー

3 ファイル

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.

このリポジトリの他の Skills

同じリポジトリ

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

ソース

zhiping0913

zhiping0913/physics_skills

GitHub リポジトリを開く Creator のリポジトリを見る

インストールコマンド

ダウンロード

Manusで実行

役立つ用途SOC

物理学者生命・物理・社会科学職19-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.