Self-verified extension of affine arithmetic to arbitrary order
<p>Affine Arithmetic (AA) is a self-verifying computational approach that keeps track of first-order correlation between uncertainties in the data and intermediate and final results.</p><p>In this paper we propose a higher-order extension satisfying the requirements of genericity, arb...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Università degli Studi di Catania
2008-05-01
|
| Series: | Le Matematiche |
| Subjects: | |
| Online Access: | http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/47 |
| _version_ | 1818487883216977920 |
|---|---|
| author | Giuseppe Bilotta |
| author_facet | Giuseppe Bilotta |
| author_sort | Giuseppe Bilotta |
| collection | DOAJ |
| description | <p>Affine Arithmetic (AA) is a self-verifying computational approach that keeps track of first-order correlation between uncertainties in the data and intermediate and final results.</p><p>In this paper we propose a higher-order extension satisfying the requirements of genericity, arbitrary-order and self-verification, comparing the resulting ethod with other well-known high-order extensions of AA.</p> |
| first_indexed | 2024-12-10T16:44:05Z |
| format | Article |
| id | doaj.art-2a6da0338efe4b438a719b772bece58b |
| institution | Directory Open Access Journal |
| issn | 0373-3505 2037-5298 |
| language | English |
| last_indexed | 2024-12-10T16:44:05Z |
| publishDate | 2008-05-01 |
| publisher | Università degli Studi di Catania |
| record_format | Article |
| series | Le Matematiche |
| spelling | doaj.art-2a6da0338efe4b438a719b772bece58b2022-12-22T01:41:06ZengUniversità degli Studi di CataniaLe Matematiche0373-35052037-52982008-05-01631153045Self-verified extension of affine arithmetic to arbitrary orderGiuseppe Bilotta0Università di Catania<p>Affine Arithmetic (AA) is a self-verifying computational approach that keeps track of first-order correlation between uncertainties in the data and intermediate and final results.</p><p>In this paper we propose a higher-order extension satisfying the requirements of genericity, arbitrary-order and self-verification, comparing the resulting ethod with other well-known high-order extensions of AA.</p>http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/47Interval arithmeticAffine arithmeticDependency problem |
| spellingShingle | Giuseppe Bilotta Self-verified extension of affine arithmetic to arbitrary order Le Matematiche Interval arithmetic Affine arithmetic Dependency problem |
| title | Self-verified extension of affine arithmetic to arbitrary order |
| title_full | Self-verified extension of affine arithmetic to arbitrary order |
| title_fullStr | Self-verified extension of affine arithmetic to arbitrary order |
| title_full_unstemmed | Self-verified extension of affine arithmetic to arbitrary order |
| title_short | Self-verified extension of affine arithmetic to arbitrary order |
| title_sort | self verified extension of affine arithmetic to arbitrary order |
| topic | Interval arithmetic Affine arithmetic Dependency problem |
| url | http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/47 |
| work_keys_str_mv | AT giuseppebilotta selfverifiedextensionofaffinearithmetictoarbitraryorder |