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: Christoffel–Darboux formula | Statement: [Elwin Bruno Christoffel, notableWork, Christoffel–Darboux formula]

Target entity: Christoffel–Darboux formula
Context triple: [Elwin Bruno Christoffel, notableWork, Christoffel–Darboux formula]

• A. Rodrigues formula
  Rodrigues formula is a classical representation that expresses certain families of orthogonal polynomials, such as Jacobi polynomials, in terms of derivatives of weight functions.
• B. Gegenbauer polynomials
  Gegenbauer polynomials are a family of orthogonal polynomials on the interval [-1, 1] that generalize Legendre polynomials and play a key role in harmonic analysis and solutions of differential equations with spherical symmetry.
• C. Jack polynomials
  Jack polynomials are a family of symmetric polynomials depending on a continuous parameter that generalize several classical symmetric functions and play a key role in algebraic combinatorics, representation theory, and mathematical physics.
• D. Jacobi polynomials
  Jacobi polynomials are a family of classical orthogonal polynomials depending on two parameters, widely used in approximation theory, numerical analysis, and solutions of differential equations.
• E. Cauchy–Binet formula
  The Cauchy–Binet formula is a fundamental result in linear algebra that expresses the determinant of a product of two rectangular matrices as a sum of products of determinants of their square submatrices.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Christoffel–Darboux formula
Triple: [Elwin Bruno Christoffel, notableWork, Christoffel–Darboux formula]

The Christoffel–Darboux formula is a key result in the theory of orthogonal polynomials that provides an explicit expression for sums of products of such polynomials, with important applications in approximation theory and mathematical physics.

Target entity: Christoffel–Darboux formula
Target entity description: The Christoffel–Darboux formula is a key result in the theory of orthogonal polynomials that provides an explicit expression for sums of products of such polynomials, with important applications in approximation theory and mathematical physics.

• A. Rodrigues formula
  Rodrigues formula is a classical representation that expresses certain families of orthogonal polynomials, such as Jacobi polynomials, in terms of derivatives of weight functions.
• B. Gegenbauer polynomials
  Gegenbauer polynomials are a family of orthogonal polynomials on the interval [-1, 1] that generalize Legendre polynomials and play a key role in harmonic analysis and solutions of differential equations with spherical symmetry.
• C. Jack polynomials
  Jack polynomials are a family of symmetric polynomials depending on a continuous parameter that generalize several classical symmetric functions and play a key role in algebraic combinatorics, representation theory, and mathematical physics.
• D. Jacobi polynomials
  Jacobi polynomials are a family of classical orthogonal polynomials depending on two parameters, widely used in approximation theory, numerical analysis, and solutions of differential equations.
• E. Cauchy–Binet formula
  The Cauchy–Binet formula is a fundamental result in linear algebra that expresses the determinant of a product of two rectangular matrices as a sum of products of determinants of their square submatrices.
• F. None of above. chosen