Numerical certification (original) (raw)
Numerical certification is the process of verifying the correctness of a candidate solution to a system of equations. In (numerical) computational mathematics, such as numerical algebraic geometry, candidate solutions are computed algorithmically, but there is the possibility that errors have corrupted the candidates. For instance, in addition to the inexactness of input data and candidate solutions, numerical errors or errors in the discretization of the problem may result in corrupted candidate solutions. The goal of numerical certification is to provide a certificate which proves which of these candidates are, indeed, approximate solutions.
| Property | Value |
|---|---|
| dbo:abstract | Numerical certification is the process of verifying the correctness of a candidate solution to a system of equations. In (numerical) computational mathematics, such as numerical algebraic geometry, candidate solutions are computed algorithmically, but there is the possibility that errors have corrupted the candidates. For instance, in addition to the inexactness of input data and candidate solutions, numerical errors or errors in the discretization of the problem may result in corrupted candidate solutions. The goal of numerical certification is to provide a certificate which proves which of these candidates are, indeed, approximate solutions. Methods for certification can be divided into two flavors: a priori certification and a posteriori certification. A posteriori certification confirms the correctness of the final answers (regardless of how they are generated), while a priori certification confirms the correctness of each step of a specific computation. A typical example of a posteriori certification is Smale's alpha theory, while a typical example of a priori certification is interval arithmetic. (en) |
| dbo:wikiPageExternalLink | http://www.math.tamu.edu/~sottile/research/stories/alphaCertified/ |
| dbo:wikiPageID | 58666321 (xsd:integer) |
| dbo:wikiPageLength | 11077 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 918456593 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Derivative dbr:Homotopy_continuation dbr:Uniform_norm dbr:Numerical_algebraic_geometry dbr:Quadratic_convergence dbr:Matrix_norm dbr:Mean_value_theorem dbr:Correctness_(computer_science) dbr:Stephen_Smale dbr:System_of_equations dbr:Rate_of_convergence dbr:Brouwer_fixed-point_theorem dbr:Interval_arithmetic dbc:Algebraic_geometry dbc:Nonlinear_algebra dbr:Newton's_method dbr:Contractive |
| dbp:wikiPageUsesTemplate | dbt:Main dbt:Reflist |
| dct:subject | dbc:Algebraic_geometry dbc:Nonlinear_algebra |
| rdfs:comment | Numerical certification is the process of verifying the correctness of a candidate solution to a system of equations. In (numerical) computational mathematics, such as numerical algebraic geometry, candidate solutions are computed algorithmically, but there is the possibility that errors have corrupted the candidates. For instance, in addition to the inexactness of input data and candidate solutions, numerical errors or errors in the discretization of the problem may result in corrupted candidate solutions. The goal of numerical certification is to provide a certificate which proves which of these candidates are, indeed, approximate solutions. (en) |
| rdfs:label | Numerical certification (en) |
| owl:sameAs | wikidata:Numerical certification https://global.dbpedia.org/id/Bx4sc |
| prov:wasDerivedFrom | wikipedia-en:Numerical_certification?oldid=918456593&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Numerical_certification |
| is dbo:wikiPageWikiLink of | dbr:Numerical_algebraic_geometry dbr:Complexity_and_Real_Computation |
| is foaf:primaryTopic of | wikipedia-en:Numerical_certification |