Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Lax–Richtmyer theorem | Statement: [Peter Lax, notableWork, Lax–Richtmyer theorem]

Target entity: Lax–Richtmyer theorem
Context triple: [Peter Lax, notableWork, Lax–Richtmyer theorem]

• A. Lax equivalence theorem chosen
  The Lax equivalence theorem is a fundamental result in numerical analysis stating that for a well-posed linear initial value problem, consistency and stability of a finite difference scheme together imply its convergence.
• B. Courant–Friedrichs–Lewy condition
  The Courant–Friedrichs–Lewy condition is a fundamental stability criterion in numerical analysis that restricts the time step size in discretized partial differential equations to ensure convergence of the computed solution.
• C. Cauchy–Kovalevskaya theorem
  The Cauchy–Kovalevskaya theorem is a fundamental result in partial differential equations that guarantees the existence and uniqueness of analytic solutions to certain initial value problems under appropriate analyticity conditions.
• D. Godunov-type schemes
  Godunov-type schemes are a class of finite-volume numerical methods for solving hyperbolic conservation laws that use Riemann solvers to accurately capture shock waves and discontinuities.
• E. Painlevé–Kruskal theorem
  The Painlevé–Kruskal theorem is a result in the theory of nonlinear differential equations that characterizes integrability through the analytic structure of their solutions, particularly via the Painlevé property.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.