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: Picard iteration | Statement: [local existence and uniqueness theorem, isProvedBy, Picard iteration]

Target entity: Picard iteration
Context triple: [local existence and uniqueness theorem, isProvedBy, Picard iteration]

• A. Gauss–Seidel method
  The Gauss–Seidel method is an iterative numerical technique used to solve systems of linear equations, particularly in large, sparse problems arising in scientific and engineering computations.
• B. Euler’s method for numerical integration
  Euler’s method for numerical integration is a simple first-order numerical procedure used to approximate solutions to ordinary differential equations by stepping forward in small increments.
• C. Crank–Nicolson scheme
  The Crank–Nicolson scheme is a finite difference method for numerically solving time-dependent partial differential equations, especially parabolic ones like the heat equation, known for its second-order accuracy and unconditional stability.
• D. Aitken
  Aitken is a Scottish-origin surname notably borne by Max Aitken, 1st Baron Beaverbrook, a prominent Canadian-British newspaper magnate and politician.
• E. Euler–Maruyama method
  The Euler–Maruyama method is a basic time-stepping scheme for numerically approximating solutions to stochastic differential equations, widely used in simulations of systems with noise such as Langevin dynamics.
• 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: Picard iteration
Triple: [local existence and uniqueness theorem, isProvedBy, Picard iteration]

Picard iteration is a successive approximation method used to construct solutions to ordinary differential equations and establish their existence and uniqueness.

Target entity: Picard iteration
Target entity description: Picard iteration is a successive approximation method used to construct solutions to ordinary differential equations and establish their existence and uniqueness.

• A. Gauss–Seidel method
  The Gauss–Seidel method is an iterative numerical technique used to solve systems of linear equations, particularly in large, sparse problems arising in scientific and engineering computations.
• B. Euler’s method for numerical integration
  Euler’s method for numerical integration is a simple first-order numerical procedure used to approximate solutions to ordinary differential equations by stepping forward in small increments.
• C. Crank–Nicolson scheme
  The Crank–Nicolson scheme is a finite difference method for numerically solving time-dependent partial differential equations, especially parabolic ones like the heat equation, known for its second-order accuracy and unconditional stability.
• D. Aitken
  Aitken is a Scottish-origin surname notably borne by Max Aitken, 1st Baron Beaverbrook, a prominent Canadian-British newspaper magnate and politician.
• E. Euler–Maruyama method
  The Euler–Maruyama method is a basic time-stepping scheme for numerically approximating solutions to stochastic differential equations, widely used in simulations of systems with noise such as Langevin dynamics.
• F. None of above. chosen

Target predicate: isProvedBy
Context triple: [local existence and uniqueness theorem, isProvedBy, Picard iteration]

• A. attestedBy
  Indicates that the existence, occurrence, or validity of something is supported, confirmed, or documented by a specified source or authority.
• B. proved chosen
  Indicates that one entity has demonstrated the truth or validity of another entity (such as a statement, theorem, or claim) through logical or evidential means.
• C. believedBy
  Indicates that a particular proposition, statement, or entity is held to be true or accepted as real by a specified believer.
• D. requiresProofOf
  Indicates that one entity must provide formal evidence or documentation to validate or authorize another entity.
• E. attestedFrom
  Indicates the earliest point in time or source from which something is documented, recorded, or evidenced as existing or in use.
• F. None of above.