λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript VI@1 · VI.tex · section · b5b60afb

The observable

Finite-time harmonic coordinates and second-order descent › The observable · lines 1128–1133

Back to manuscript

Figure fig:VI-classical-descent illustrates the composition identity underlying coefficientwise classical descent.

Nearby in this section

  • section: The observable
  • theorem: Theorem: Second-order classical descent
  • remark: Remark: Off-shell strength and on-shell restriction
  • figure: Classical descent

A searchable companion, not a proof checker. A restatement is not a verification, and results from one manuscript are not results of another. The registered manuscripts were produced by Ngo Cheung. The OpenAI section is a separate catalogue by OpenAI and is not a theorem of that series. Cite one registered manuscript as Cheung, N., with its identifier, at enter.grok.me.