Goal-Oriented and Modular Stability Analysis
We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-oriented, systematic, and layered. The presentation places the analysis side-by-side with the algorithm so that it is obviou...
Saved in:
| Published in: | SIAM journal on matrix analysis and applications Vol. 32; no. 1; pp. 286 - 308 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Philadelphia, PA
Society for Industrial and Applied Mathematics
01.01.2011
|
| Subjects: | |
| ISSN: | 0895-4798, 1095-7162 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-oriented, systematic, and layered. The presentation places the analysis side-by-side with the algorithm so that it is obvious where roundoff error is introduced. The approach supports the analysis of more complex algorithms, such as the blocked LU factorization. For this operation we derive a tighter error bound than has been previously reported in the literature. [PUBLICATION ABSTRACT] |
|---|---|
| AbstractList | We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-oriented, systematic, and layered. The presentation places the analysis side-by-side with the algorithm so that it is obvious where roundoff error is introduced. The approach supports the analysis of more complex algorithms, such as the blocked LU factorization. For this operation we derive a tighter error bound than has been previously reported in the literature. We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-oriented, systematic, and layered. The presentation places the analysis side-by-side with the algorithm so that it is obvious where roundoff error is introduced. The approach supports the analysis of more complex algorithms, such as the blocked LU factorization. For this operation we derive a tighter error bound than has been previously reported in the literature. [PUBLICATION ABSTRACT] |
| Author | van de Geijn, Robert A. Bientinesi, Paolo |
| Author_xml | – sequence: 1 givenname: Paolo surname: Bientinesi fullname: Bientinesi, Paolo – sequence: 2 givenname: Robert A. surname: van de Geijn fullname: van de Geijn, Robert A. |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=24190957$$DView record in Pascal Francis |
| BookMark | eNplkEFLAzEQhYNUsK0e_AeLICK4drKb3STHUrQKlR7Uc5jNZiEl3a3J7qH_3kirh3qaYeZ7j8ebkFHbtYaQawqPlOZ8BgI4o1DwMzKmIIuU0zIbkTGIuDMuxQWZhLABoCWTdEwelh26dO2taXtTJ9jWyVtXDw598t5jZZ3t98m8RbcPNlyS8wZdMFfHOSWfz08fi5d0tV6-LuarVOdU9Ck2GssSa8CsYmUp0dRlIVDGo84YQ5BNnlMpaAV5wUQDmaky0LkQBdA6Pqfk7uC7893XYEKvtjZo4xy2phuCksAlo1zISN6ckJtu8DFuUIJLnuVAiwjdHiEMGl3jsdU2qJ23W_R7lTEqY1M8crMDp30XgjeN0rbH3nZt79E6RUH9dKz-Oo6K-xPFr-l_9hvPXnnX |
| CODEN | SJMAEL |
| CitedBy_id | crossref_primary_10_1016_j_jcp_2022_111176 crossref_primary_10_1007_s00165_011_0221_4 |
| Cites_doi | 10.1145/77626.79170 10.1145/1055531.1055532 10.1145/131766.131769 10.1145/504210.504213 |
| ContentType | Journal Article |
| Copyright | 2015 INIST-CNRS Copyright Society for Industrial and Applied Mathematics 2011 |
| Copyright_xml | – notice: 2015 INIST-CNRS – notice: Copyright Society for Industrial and Applied Mathematics 2011 |
| DBID | AAYXX CITATION IQODW 3V. 7WY 7WZ 7X2 7XB 87Z 88A 88F 88I 88K 8AL 8FE 8FG 8FH 8FK 8FL 8G5 ABJCF ABUWG AFKRA ARAPS ATCPS AZQEC BBNVY BENPR BEZIV BGLVJ BHPHI CCPQU D1I DWQXO FRNLG F~G GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- KB. L.- L6V LK8 M0C M0K M0N M1Q M2O M2P M2T M7P M7S MBDVC P5Z P62 PATMY PDBOC PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PRINS PTHSS PYCSY Q9U 7SC 8FD L7M L~C L~D |
| DOI | 10.1137/080741057 |
| DatabaseName | CrossRef Pascal-Francis ProQuest Central (Corporate) ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Agricultural Science ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Biology Database (Alumni Edition) Military Database (Alumni Edition) Science Database (Alumni Edition) Telecommunications (Alumni Edition) Computing Database (Alumni Edition) ProQuest SciTech Collection ProQuest Technology Collection ProQuest Natural Science Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) Research Library (Alumni) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection Agricultural & Environmental Science Collection ProQuest Central Essentials Biological Science Collection ProQuest Central Business Premium Collection ProQuest Technology Collection Natural Science Collection ProQuest One Community College ProQuest Materials Science Collection ProQuest Central Korea Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database Materials Science Database ABI/INFORM Professional Advanced ProQuest Engineering Collection ProQuest Biological Science Collection ABI/INFORM Global Agricultural Science Database Computing Database Military Database Research Library Science Database Telecommunications Database Biological Science Database Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Environmental Science Database Materials Science Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection Environmental Science Collection ProQuest Central Basic Computer and Information Systems Abstracts Technology Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Agricultural Science Database ProQuest Business Collection (Alumni Edition) Research Library Prep Computer Science Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest Military Collection ProQuest Central China ABI/INFORM Complete ProQuest Telecommunications ProQuest One Applied & Life Sciences Natural Science Collection Biological Science Collection ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest Biological Science Collection ProQuest One Academic Eastern Edition Agricultural Science Collection ProQuest Technology Collection ProQuest Telecommunications (Alumni Edition) Biological Science Database ProQuest Business Collection Environmental Science Collection ProQuest One Academic UKI Edition Environmental Science Database ProQuest One Academic ProQuest One Academic (New) ABI/INFORM Global (Corporate) ProQuest One Business Technology Collection ProQuest One Academic Middle East (New) Materials Science Collection ProQuest Central (Alumni Edition) ProQuest One Community College Research Library (Alumni Edition) ProQuest Natural Science Collection ProQuest Biology Journals (Alumni Edition) ProQuest Central ABI/INFORM Professional Advanced ProQuest Engineering Collection ProQuest Central Korea Agricultural & Environmental Science Collection Materials Science Database ProQuest Research Library ABI/INFORM Complete (Alumni Edition) ProQuest Materials Science Collection ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest Military Collection (Alumni Edition) ProQuest SciTech Collection Advanced Technologies & Aerospace Database Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest Central (Alumni) Business Premium Collection (Alumni) Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts Agricultural Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 1095-7162 |
| EndPage | 308 |
| ExternalDocumentID | 2410778141 24190957 10_1137_080741057 |
| Genre | Feature |
| GroupedDBID | -~X .4S .DC 123 186 4.4 7WY 7X2 7XC 88I 8CJ 8FE 8FG 8FH 8FL 8G5 8V8 AALVN AASXH AAYXX ABDBF ABDPE ABJCF ABKAD ABMZU ABUWG ACGFO ACGOD ACIWK ACPRK ACUHS ADBBV AEMOZ AENEX AFFHD AFFNX AFKRA AFRAH AHQJS AKVCP ALMA_UNASSIGNED_HOLDINGS ANXRF ARAPS ARCSS ATCPS AZQEC BBNVY BENPR BEZIV BGLVJ BHPHI BPHCQ CCPQU CITATION CS3 CZ9 D0L D1I D1J D1K DQ2 DU5 DWQXO EAP EBR EBS EBU ECS EDO EJD EMK EST ESX FA8 FRNLG GNUQQ GUQSH H13 HCIFZ H~9 I-F K1G K6- K60 K6V K6~ K7- KB. KC. L6V LK5 LK8 M0C M0K M1Q M2O M2P M7P M7R M7S P1Q P2P P62 PATMY PDBOC PHGZM PHGZT PQBIZ PQBZA PQGLB PQQKQ PROAC PTHSS PYCSY RJG RNS RSI TH9 TN5 TUS YNT ZKB ZY4 IQODW 3V. 7XB 88A 88K 8AL 8FK JQ2 L.- M0N M2T MBDVC PKEHL PQEST PQUKI PRINS Q9U 7SC 8FD L7M L~C L~D PUEGO |
| ID | FETCH-LOGICAL-c318t-afca66ad0a2b4669aed658a9a66c244a09f331981b03548f02eb20c388501d9f3 |
| IEDL.DBID | M1Q |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000292816300013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0895-4798 |
| IngestDate | Thu Sep 04 18:47:04 EDT 2025 Sat Nov 01 15:19:08 EDT 2025 Mon Jul 21 09:12:11 EDT 2025 Tue Nov 18 22:02:48 EST 2025 Sat Nov 29 02:43:41 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | modular Error estimation LU factorization Methodology Support automatic stability analysis Numerical linear algebra stability analysis Error bound Algorithm Layer Numerical analysis Linear algebra Automatic analysis Algorithm analysis |
| Language | English |
| License | CC BY 4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c318t-afca66ad0a2b4669aed658a9a66c244a09f331981b03548f02eb20c388501d9f3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 879723015 |
| PQPubID | 666305 |
| PageCount | 23 |
| ParticipantIDs | proquest_miscellaneous_907941789 proquest_journals_879723015 pascalfrancis_primary_24190957 crossref_citationtrail_10_1137_080741057 crossref_primary_10_1137_080741057 |
| PublicationCentury | 2000 |
| PublicationDate | 2011-01-00 2011 20110101 |
| PublicationDateYYYYMMDD | 2011-01-01 |
| PublicationDate_xml | – month: 01 year: 2011 text: 2011-01-00 |
| PublicationDecade | 2010 |
| PublicationPlace | Philadelphia, PA |
| PublicationPlace_xml | – name: Philadelphia, PA – name: Philadelphia |
| PublicationTitle | SIAM journal on matrix analysis and applications |
| PublicationYear | 2011 |
| Publisher | Society for Industrial and Applied Mathematics |
| Publisher_xml | – name: Society for Industrial and Applied Mathematics |
| References | R3 R5 R6 R9 |
| References_xml | – ident: R6 doi: 10.1145/77626.79170 – ident: R3 doi: 10.1145/1055531.1055532 – ident: R5 doi: 10.1145/131766.131769 – ident: R9 doi: 10.1145/504210.504213 |
| SSID | ssj0016491 |
| Score | 1.9909265 |
| Snippet | We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the... |
| SourceID | proquest pascalfrancis crossref |
| SourceType | Aggregation Database Index Database Enrichment Source |
| StartPage | 286 |
| SubjectTerms | Algebra Algorithms Blocking Error analysis Errors Exact sciences and technology Factorization Inventories Linear algebra Linear and multilinear algebra, matrix theory Mathematical analysis Mathematics Mean square errors Modular Numerical analysis Numerical analysis. Scientific computation Numerical linear algebra Sciences and techniques of general use Several complex variables and analytic spaces Stockpiling Studies |
| Title | Goal-Oriented and Modular Stability Analysis |
| URI | https://www.proquest.com/docview/879723015 https://www.proquest.com/docview/907941789 |
| Volume | 32 |
| WOSCitedRecordID | wos000292816300013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: ABI/INFORM Collection customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: 7WY dateStart: 19800301 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: ABI/INFORM Global customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M0C dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1095-7162 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: P5Z dateStart: 19880101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Agricultural Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M0K dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/agriculturejournals providerName: ProQuest – providerCode: PRVPQU databaseName: Biological Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M7P dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/biologicalscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: K7- dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M7S dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Environmental Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: PATMY dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/environmentalscience providerName: ProQuest – providerCode: PRVPQU databaseName: Materials Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: KB. dateStart: 19800301 isFulltext: true titleUrlDefault: http://search.proquest.com/materialsscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Military Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M1Q dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/military providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1095-7162 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: BENPR dateStart: 19880101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1095-7162 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M2O dateStart: 19880101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVPQU databaseName: Science Database customDbUrl: eissn: 1095-7162 dateEnd: 20140731 omitProxy: false ssIdentifier: ssj0016491 issn: 0895-4798 databaseCode: M2P dateStart: 19800301 isFulltext: true titleUrlDefault: https://search.proquest.com/sciencejournals providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dT9swED8N2AMTgg2YVj6qaNrDHjDLd-wnlEJhFWnatUWjvESOk0iTUFtI2d-_OyeNhEB7QYpOiX2Koot9H7b1-wF8k6mfpi63WJYKh7nKFkzkbsYwFrjck2lmS40zGwVxzG9vxbA-m1PWxypXPlE76myuaI38Bw-IHwuD19nigRFpFG2u1gwaa7CBebIg6Py-9avZRPDdijCPC48WkHgNLGQRpA9hwBDF7bNwtLWQJVqmqCgtXnhnHXIud974sR9hu841jbAaHJ_gXT7bhQ_9Bqi13IOTq0EYscGo143RhRlhfGH0Bxc3UTgyxpOw04t6kym2htF03Bvvw81ld3L-k9UECkzhVF0yWSjp-zIzpZ26vi9knmHCIQU2Kgzr0hSFg1MQM1fTwcqlMG2ss03lcO6ZVoadn2F9Np_lX8CgtAwjmadQwaW6tshlavuiQF-pVO614PvKjomq0cWJ5OI-0VWGEySNyVvwtVFdVJAarym1n_2MRhMzDoFpISocrkyf1NOuTBq7t8BoenG-0CaInOXzpzIRJnogK-Di4L8vOITNavWYriNYXz4-5cfwXv1d_ikf27AW_J62YaPTjYcjfLoOGMnOKcq-ea7ldVuPRpL2QMuhlhOSgb4PxiiH3t0_Yyngdg |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1La9tAEB7ctNCGkL6J69QVpYUeslTWc_dQilrbtbAsF1sG56SuVisIBNuJnJT8qPzHzOoFpqW3HAo6rYaV0Izmm9mVvg_gA0-cJLFoj6QJM4klDEaYtFKCWGBRmyepwQue2cANQ7pcsp8tuK3_hVGfVdY5sUjU6VqoNfLP1FX6WAheXzcXRIlGqc3VWkGjjIqxvPmNHVv-xe-jez8axnAQfR-RSlSACAzfLeGZ4I7DU50bieU4jMsUQZgzHBQIdVxnmYlhidWcbmI1n-kG9p66MCm19V6KJ3HeB_DQMqmrXquxS5pNC8cqBfoos9WCFa2IjHqKQkhxzihJ3R34O9jwHD2RlRIaf6BBAXHDp__Zw3kGh1UtrXll8D-Hlly9gP1JQ0Sbv4STH1O87HTmD0JM0ZoX9rXJtL8IvJk2j7xvfuBHpzjqBadzf_4KFvdyu69hb7VeySPQVNmJSG0LNLBU355JnhgOyxALhJB2Gz7VfotFxZ6uRDzO46KLMt24cXEb3jemm5Iy5G9G3R3nN5ZYUTEse9GgU7s6rtJKHjd-boPWnMV8oDZ5-Equr_KY6Zhhey5lb_45wTt4PIomQRz44bgDT8qVcnUcw9728kq-hUfienuWX3aLGNfg133HzR0yKzBX |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=GOAL-ORIENTED+AND+MODULAR+STABILITY+ANALYSIS&rft.jtitle=SIAM+journal+on+matrix+analysis+and+applications&rft.au=BIENTINESI%2C+Paolo&rft.au=VAN+DE+GEIJN%2C+Robert+A&rft.date=2011&rft.pub=Society+for+Industrial+and+Applied+Mathematics&rft.issn=0895-4798&rft.volume=32&rft.issue=1&rft.spage=286&rft.epage=308&rft_id=info:doi/10.1137%2F080741057&rft.externalDBID=n%2Fa&rft.externalDocID=24190957 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0895-4798&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0895-4798&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0895-4798&client=summon |