| http://dbpedia.org/ontology/abstract
|
Numerical certification is the process of … 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.iori certification is interval arithmetic.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.math.tamu.edu/~sottile/research/stories/alphaCertified/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
58666321
|
| http://dbpedia.org/ontology/wikiPageLength
|
11077
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
918456593
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Interval_arithmetic +
, http://dbpedia.org/resource/System_of_equations +
, http://dbpedia.org/resource/Uniform_norm +
, http://dbpedia.org/resource/Quadratic_convergence +
, http://dbpedia.org/resource/Matrix_norm +
, http://dbpedia.org/resource/Mean_value_theorem +
, http://dbpedia.org/resource/Derivative +
, http://dbpedia.org/resource/Homotopy_continuation +
, http://dbpedia.org/resource/Newton%27s_method +
, http://dbpedia.org/resource/Numerical_algebraic_geometry +
, http://dbpedia.org/resource/Category:Algebraic_geometry +
, http://dbpedia.org/resource/Rate_of_convergence +
, http://dbpedia.org/resource/Brouwer_fixed-point_theorem +
, http://dbpedia.org/resource/Category:Nonlinear_algebra +
, http://dbpedia.org/resource/Contractive +
, http://dbpedia.org/resource/Stephen_Smale +
, http://dbpedia.org/resource/Correctness_%28computer_science%29 +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Nonlinear_algebra +
, http://dbpedia.org/resource/Category:Algebraic_geometry +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Numerical_certification?oldid=918456593&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Numerical_certification +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q85790002 +
, http://dbpedia.org/resource/Numerical_certification +
, https://global.dbpedia.org/id/Bx4sc +
|
| rdfs:comment |
Numerical certification is the process of … 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.idates are, indeed, approximate solutions.
|
| rdfs:label |
Numerical certification
|
