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: Cauchy–Green formula | Statement: [Cauchy integral formula, hasGeneralization, Cauchy–Green formula]

Target entity: Cauchy–Green formula
Context triple: [Cauchy integral formula, hasGeneralization, Cauchy–Green formula]

• A. Green's theorem
  Green's theorem is a fundamental result in vector calculus that relates a line integral around a simple closed curve in the plane to a double integral over the region it encloses.
• B. 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.
• C. Cauchy–Riemann equations
  The Cauchy–Riemann equations are fundamental conditions in complex analysis that characterize when a complex-valued function is holomorphic (complex differentiable).
• D. Bochner–Martinelli formula
  The Bochner–Martinelli formula is a fundamental integral representation in several complex variables that generalizes the Cauchy integral formula to higher dimensions.
• E. Kubo formula
  The Kubo formula is a fundamental result in linear response theory that expresses transport coefficients and response functions in terms of equilibrium correlation functions in statistical mechanics and quantum many-body physics.
• 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: Cauchy–Green formula
Triple: [Cauchy integral formula, hasGeneralization, Cauchy–Green formula]

The Cauchy–Green formula is a generalization of the Cauchy integral formula that represents sufficiently smooth complex functions inside a domain in terms of both boundary integrals and area integrals involving their partial derivatives.

Target entity: Cauchy–Green formula
Target entity description: The Cauchy–Green formula is a generalization of the Cauchy integral formula that represents sufficiently smooth complex functions inside a domain in terms of both boundary integrals and area integrals involving their partial derivatives.

• A. Green's theorem
  Green's theorem is a fundamental result in vector calculus that relates a line integral around a simple closed curve in the plane to a double integral over the region it encloses.
• B. 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.
• C. Cauchy–Riemann equations
  The Cauchy–Riemann equations are fundamental conditions in complex analysis that characterize when a complex-valued function is holomorphic (complex differentiable).
• D. Bochner–Martinelli formula chosen
  The Bochner–Martinelli formula is a fundamental integral representation in several complex variables that generalizes the Cauchy integral formula to higher dimensions.
• E. Kubo formula
  The Kubo formula is a fundamental result in linear response theory that expresses transport coefficients and response functions in terms of equilibrium correlation functions in statistical mechanics and quantum many-body physics.
• F. None of above.