Prove HenonEmden (openai/math family 370: The subcritical Lane–Emden and Henon–Lane–Emden conjectures) in…
Prove HenonEmden (openai/math family 370: The subcritical Lane–Emden and Henon–Lane–Emden conjectures) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 370 of the release, The subcritical Lane–Emden and Henon–Lane–Emden conjectures…
The task
Context: this statement belongs to family 370 of the release, *The subcritical Lane–Emden and Henon–Lane–Emden conjectures* (Partial differential equations). The family as a whole: Resolves the subcritical Lane–Emden conjecture and its weighted Henon extension. For $n\ge2$, $p,q>0$ and real $A,B$, the system $-\Delta…
Part of raising-heart/openai-math.