Interface for Sparse Linear Algebra Operations Article Swipe
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2411.13259
The standardization of an interface for dense linear algebra operations in the BLAS standard has enabled interoperability between different linear algebra libraries, thereby boosting the success of scientific computing, in particular in scientific HPC. Despite numerous efforts in the past, the community has not yet agreed on a standardization for sparse linear algebra operations due to numerous reasons. One is the fact that sparse linear algebra objects allow for many different storage formats, and different hardware may favor different storage formats. This makes the definition of a FORTRAN-style all-circumventing interface extremely challenging. Another reason is that opposed to dense linear algebra functionality, in sparse linear algebra, the size of the sparse data structure for the operation result is not always known prior to the information. Furthermore, as opposed to the standardization effort for dense linear algebra, we are late in the technology readiness cycle, and many production-ready software libraries using sparse linear algebra routines have implemented and committed to their own sparse BLAS interface. At the same time, there exists a demand for standardization that would improve interoperability, and sustainability, and allow for easier integration of building blocks. In an inclusive, cross-institutional effort involving numerous academic institutions, US National Labs, and industry, we spent two years designing a hardware-portable interface for basic sparse linear algebra functionality that serves the user needs and is compatible with the different interfaces currently used by different vendors. In this paper, we present a C++ API for sparse linear algebra functionality, discuss the design choices, and detail how software developers preserve a lot of freedom in terms of how to implement functionality behind this API.
Related Topics
- Type
- preprint
- Language
- en
- Landing Page
- http://arxiv.org/abs/2411.13259
- https://arxiv.org/pdf/2411.13259
- OA Status
- green
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4404648996
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4404648996Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.2411.13259Digital Object Identifier
- Title
-
Interface for Sparse Linear Algebra OperationsWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2024Year of publication
- Publication date
-
2024-11-20Full publication date if available
- Authors
-
Ahmad Abdelfattah, Willow Ahrens, Hartwig Anzt, Chris Armstrong, Benjamin Brock, Aydın Buluç, Federico Busato, Terry Cojean, Timothy M. E. Davis, Jim Demmel, Grace Dinh, David Gardener, Jan Fiala, Mark Gates, A.F.M.Y. Haider, Toshiyuki Imamura, Pedro Valero Lara, José E. Moreira, Xiaoye Sherry Li, Piotr Łuszczek, Max Melichenko, Jose Moeira, Yvan Mokwinski, Riley Murray, Spencer Patty, Slaven Peleš, Tobias Ribizel, Jason Riedy, Siva Rajamanickam, Piyush Sao, Manu Shantharam, Keita Teranishi, Stanimire Tomov, Yu‐Hsiang Tsai, Heiko WeicheltList of authors in order
- Landing page
-
https://arxiv.org/abs/2411.13259Publisher landing page
- PDF URL
-
https://arxiv.org/pdf/2411.13259Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/2411.13259Direct OA link when available
- Concepts
-
Interface (matter), Linear algebra, Computer science, Algebra over a field, Theoretical computer science, Computational science, Mathematics, Parallel computing, Pure mathematics, Geometry, Maximum bubble pressure method, BubbleTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4404648996 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.2411.13259 |
| ids.doi | https://doi.org/10.48550/arxiv.2411.13259 |
| ids.openalex | https://openalex.org/W4404648996 |
| fwci | |
| type | preprint |
| title | Interface for Sparse Linear Algebra Operations |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T10142 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.6916999816894531 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1703 |
| topics[0].subfield.display_name | Computational Theory and Mathematics |
| topics[0].display_name | Formal Methods in Verification |
| topics[1].id | https://openalex.org/T10551 |
| topics[1].field.id | https://openalex.org/fields/22 |
| topics[1].field.display_name | Engineering |
| topics[1].score | 0.6751000285148621 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/2209 |
| topics[1].subfield.display_name | Industrial and Manufacturing Engineering |
| topics[1].display_name | Scheduling and Optimization Algorithms |
| topics[2].id | https://openalex.org/T10126 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.6069999933242798 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1702 |
| topics[2].subfield.display_name | Artificial Intelligence |
| topics[2].display_name | Logic, programming, and type systems |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C113843644 |
| concepts[0].level | 4 |
| concepts[0].score | 0.6686679124832153 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q901882 |
| concepts[0].display_name | Interface (matter) |
| concepts[1].id | https://openalex.org/C139352143 |
| concepts[1].level | 2 |
| concepts[1].score | 0.6002663969993591 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q82571 |
| concepts[1].display_name | Linear algebra |
| concepts[2].id | https://openalex.org/C41008148 |
| concepts[2].level | 0 |
| concepts[2].score | 0.5842123031616211 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[2].display_name | Computer science |
| concepts[3].id | https://openalex.org/C136119220 |
| concepts[3].level | 2 |
| concepts[3].score | 0.5142845511436462 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q1000660 |
| concepts[3].display_name | Algebra over a field |
| concepts[4].id | https://openalex.org/C80444323 |
| concepts[4].level | 1 |
| concepts[4].score | 0.3715690076351166 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[4].display_name | Theoretical computer science |
| concepts[5].id | https://openalex.org/C459310 |
| concepts[5].level | 1 |
| concepts[5].score | 0.3563897907733917 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q117801 |
| concepts[5].display_name | Computational science |
| concepts[6].id | https://openalex.org/C33923547 |
| concepts[6].level | 0 |
| concepts[6].score | 0.2935595214366913 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[6].display_name | Mathematics |
| concepts[7].id | https://openalex.org/C173608175 |
| concepts[7].level | 1 |
| concepts[7].score | 0.29286760091781616 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q232661 |
| concepts[7].display_name | Parallel computing |
| concepts[8].id | https://openalex.org/C202444582 |
| concepts[8].level | 1 |
| concepts[8].score | 0.16282504796981812 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q837863 |
| concepts[8].display_name | Pure mathematics |
| concepts[9].id | https://openalex.org/C2524010 |
| concepts[9].level | 1 |
| concepts[9].score | 0.10828909277915955 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q8087 |
| concepts[9].display_name | Geometry |
| concepts[10].id | https://openalex.org/C129307140 |
| concepts[10].level | 3 |
| concepts[10].score | 0.0 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q6795880 |
| concepts[10].display_name | Maximum bubble pressure method |
| concepts[11].id | https://openalex.org/C157915830 |
| concepts[11].level | 2 |
| concepts[11].score | 0.0 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q2928001 |
| concepts[11].display_name | Bubble |
| keywords[0].id | https://openalex.org/keywords/interface |
| keywords[0].score | 0.6686679124832153 |
| keywords[0].display_name | Interface (matter) |
| keywords[1].id | https://openalex.org/keywords/linear-algebra |
| keywords[1].score | 0.6002663969993591 |
| keywords[1].display_name | Linear algebra |
| keywords[2].id | https://openalex.org/keywords/computer-science |
| keywords[2].score | 0.5842123031616211 |
| keywords[2].display_name | Computer science |
| keywords[3].id | https://openalex.org/keywords/algebra-over-a-field |
| keywords[3].score | 0.5142845511436462 |
| keywords[3].display_name | Algebra over a field |
| keywords[4].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[4].score | 0.3715690076351166 |
| keywords[4].display_name | Theoretical computer science |
| keywords[5].id | https://openalex.org/keywords/computational-science |
| keywords[5].score | 0.3563897907733917 |
| keywords[5].display_name | Computational science |
| keywords[6].id | https://openalex.org/keywords/mathematics |
| keywords[6].score | 0.2935595214366913 |
| keywords[6].display_name | Mathematics |
| keywords[7].id | https://openalex.org/keywords/parallel-computing |
| keywords[7].score | 0.29286760091781616 |
| keywords[7].display_name | Parallel computing |
| keywords[8].id | https://openalex.org/keywords/pure-mathematics |
| keywords[8].score | 0.16282504796981812 |
| keywords[8].display_name | Pure mathematics |
| keywords[9].id | https://openalex.org/keywords/geometry |
| keywords[9].score | 0.10828909277915955 |
| keywords[9].display_name | Geometry |
| language | en |
| locations[0].id | pmh:oai:arXiv.org:2411.13259 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306400194 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | arXiv (Cornell University) |
| locations[0].source.host_organization | https://openalex.org/I205783295 |
| locations[0].source.host_organization_name | Cornell University |
| locations[0].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[0].license | |
| locations[0].pdf_url | https://arxiv.org/pdf/2411.13259 |
| locations[0].version | submittedVersion |
| locations[0].raw_type | |
| locations[0].license_id | |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | http://arxiv.org/abs/2411.13259 |
| locations[1].id | doi:10.48550/arxiv.2411.13259 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306400194 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | True |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | arXiv (Cornell University) |
| locations[1].source.host_organization | https://openalex.org/I205783295 |
| locations[1].source.host_organization_name | Cornell University |
| locations[1].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[1].license | cc-by |
| locations[1].pdf_url | |
| locations[1].version | |
| locations[1].raw_type | article |
| locations[1].license_id | https://openalex.org/licenses/cc-by |
| locations[1].is_accepted | False |
| locations[1].is_published | |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://doi.org/10.48550/arxiv.2411.13259 |
| indexed_in | arxiv, datacite |
| authorships[0].author.id | https://openalex.org/A5077268543 |
| authorships[0].author.orcid | https://orcid.org/0000-0001-5054-4784 |
| authorships[0].author.display_name | Ahmad Abdelfattah |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Abdelfattah, Ahmad |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5060063626 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-4963-0869 |
| authorships[1].author.display_name | Willow Ahrens |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Ahrens, Willow |
| authorships[1].is_corresponding | False |
| authorships[2].author.id | https://openalex.org/A5012133869 |
| authorships[2].author.orcid | https://orcid.org/0000-0003-2177-952X |
| authorships[2].author.display_name | Hartwig Anzt |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Anzt, Hartwig |
| authorships[2].is_corresponding | False |
| authorships[3].author.id | https://openalex.org/A5009670468 |
| authorships[3].author.orcid | https://orcid.org/0000-0002-3478-2579 |
| authorships[3].author.display_name | Chris Armstrong |
| authorships[3].author_position | middle |
| authorships[3].raw_author_name | Armstrong, Chris |
| authorships[3].is_corresponding | False |
| authorships[4].author.id | https://openalex.org/A5057424239 |
| authorships[4].author.orcid | https://orcid.org/0000-0003-1488-1622 |
| authorships[4].author.display_name | Benjamin Brock |
| authorships[4].author_position | middle |
| authorships[4].raw_author_name | Brock, Ben |
| authorships[4].is_corresponding | False |
| authorships[5].author.id | https://openalex.org/A5035719914 |
| authorships[5].author.orcid | https://orcid.org/0000-0001-7253-9038 |
| authorships[5].author.display_name | Aydın Buluç |
| authorships[5].author_position | middle |
| authorships[5].raw_author_name | Buluc, Aydin |
| authorships[5].is_corresponding | False |
| authorships[6].author.id | https://openalex.org/A5053217543 |
| authorships[6].author.orcid | |
| authorships[6].author.display_name | Federico Busato |
| authorships[6].author_position | middle |
| authorships[6].raw_author_name | Busato, Federico |
| authorships[6].is_corresponding | False |
| authorships[7].author.id | https://openalex.org/A5043131627 |
| authorships[7].author.orcid | https://orcid.org/0000-0002-1560-921X |
| authorships[7].author.display_name | Terry Cojean |
| authorships[7].author_position | middle |
| authorships[7].raw_author_name | Cojean, Terry |
| authorships[7].is_corresponding | False |
| authorships[8].author.id | https://openalex.org/A5043791621 |
| authorships[8].author.orcid | https://orcid.org/0000-0003-0749-7411 |
| authorships[8].author.display_name | Timothy M. E. Davis |
| authorships[8].author_position | middle |
| authorships[8].raw_author_name | Davis, Tim |
| authorships[8].is_corresponding | False |
| authorships[9].author.id | https://openalex.org/A5109872442 |
| authorships[9].author.orcid | |
| authorships[9].author.display_name | Jim Demmel |
| authorships[9].author_position | middle |
| authorships[9].raw_author_name | Demmel, Jim |
| authorships[9].is_corresponding | False |
| authorships[10].author.id | https://openalex.org/A5055472408 |
| authorships[10].author.orcid | https://orcid.org/0000-0001-9626-098X |
| authorships[10].author.display_name | Grace Dinh |
| authorships[10].author_position | middle |
| authorships[10].raw_author_name | Dinh, Grace |
| authorships[10].is_corresponding | False |
| authorships[11].author.id | https://openalex.org/A5114761200 |
| authorships[11].author.orcid | |
| authorships[11].author.display_name | David Gardener |
| authorships[11].author_position | middle |
| authorships[11].raw_author_name | Gardener, David |
| authorships[11].is_corresponding | False |
| authorships[12].author.id | https://openalex.org/A5101461587 |
| authorships[12].author.orcid | https://orcid.org/0000-0003-3648-7626 |
| authorships[12].author.display_name | Jan Fiala |
| authorships[12].author_position | middle |
| authorships[12].raw_author_name | Fiala, Jan |
| authorships[12].is_corresponding | False |
| authorships[13].author.id | https://openalex.org/A5104910026 |
| authorships[13].author.orcid | https://orcid.org/0000-0003-2996-1641 |
| authorships[13].author.display_name | Mark Gates |
| authorships[13].author_position | middle |
| authorships[13].raw_author_name | Gates, Mark |
| authorships[13].is_corresponding | False |
| authorships[14].author.id | https://openalex.org/A5065258980 |
| authorships[14].author.orcid | https://orcid.org/0000-0002-4135-8725 |
| authorships[14].author.display_name | A.F.M.Y. Haider |
| authorships[14].author_position | middle |
| authorships[14].raw_author_name | Haider, Azzam |
| authorships[14].is_corresponding | False |
| authorships[15].author.id | https://openalex.org/A5086152822 |
| authorships[15].author.orcid | https://orcid.org/0000-0003-1601-9710 |
| authorships[15].author.display_name | Toshiyuki Imamura |
| authorships[15].author_position | middle |
| authorships[15].raw_author_name | Imamura, Toshiyuki |
| authorships[15].is_corresponding | False |
| authorships[16].author.id | https://openalex.org/A5030933199 |
| authorships[16].author.orcid | |
| authorships[16].author.display_name | Pedro Valero Lara |
| authorships[16].author_position | middle |
| authorships[16].raw_author_name | Lara, Pedro Valero |
| authorships[16].is_corresponding | False |
| authorships[17].author.id | https://openalex.org/A5055326969 |
| authorships[17].author.orcid | https://orcid.org/0000-0001-7029-6327 |
| authorships[17].author.display_name | José E. Moreira |
| authorships[17].author_position | middle |
| authorships[17].raw_author_name | Moreira, Jose |
| authorships[17].is_corresponding | False |
| authorships[18].author.id | https://openalex.org/A5006873445 |
| authorships[18].author.orcid | https://orcid.org/0000-0002-0747-698X |
| authorships[18].author.display_name | Xiaoye Sherry Li |
| authorships[18].author_position | middle |
| authorships[18].raw_author_name | Li, Sherry |
| authorships[18].is_corresponding | False |
| authorships[19].author.id | https://openalex.org/A5073990539 |
| authorships[19].author.orcid | https://orcid.org/0000-0002-0089-6965 |
| authorships[19].author.display_name | Piotr Łuszczek |
| authorships[19].author_position | middle |
| authorships[19].raw_author_name | Luszczek, Piotr |
| authorships[19].is_corresponding | False |
| authorships[20].author.id | https://openalex.org/A5114761201 |
| authorships[20].author.orcid | |
| authorships[20].author.display_name | Max Melichenko |
| authorships[20].author_position | middle |
| authorships[20].raw_author_name | Melichenko, Max |
| authorships[20].is_corresponding | False |
| authorships[21].author.id | https://openalex.org/A5114761202 |
| authorships[21].author.orcid | |
| authorships[21].author.display_name | Jose Moeira |
| authorships[21].author_position | middle |
| authorships[21].raw_author_name | Moeira, Jose |
| authorships[21].is_corresponding | False |
| authorships[22].author.id | https://openalex.org/A5114761203 |
| authorships[22].author.orcid | |
| authorships[22].author.display_name | Yvan Mokwinski |
| authorships[22].author_position | middle |
| authorships[22].raw_author_name | Mokwinski, Yvan |
| authorships[22].is_corresponding | False |
| authorships[23].author.id | https://openalex.org/A5070917137 |
| authorships[23].author.orcid | https://orcid.org/0000-0003-1461-6458 |
| authorships[23].author.display_name | Riley Murray |
| authorships[23].author_position | middle |
| authorships[23].raw_author_name | Murray, Riley |
| authorships[23].is_corresponding | False |
| authorships[24].author.id | https://openalex.org/A5114761204 |
| authorships[24].author.orcid | |
| authorships[24].author.display_name | Spencer Patty |
| authorships[24].author_position | middle |
| authorships[24].raw_author_name | Patty, Spencer |
| authorships[24].is_corresponding | False |
| authorships[25].author.id | https://openalex.org/A5009974739 |
| authorships[25].author.orcid | https://orcid.org/0000-0001-7110-3021 |
| authorships[25].author.display_name | Slaven Peleš |
| authorships[25].author_position | middle |
| authorships[25].raw_author_name | Peles, Slaven |
| authorships[25].is_corresponding | False |
| authorships[26].author.id | https://openalex.org/A5057491589 |
| authorships[26].author.orcid | https://orcid.org/0000-0003-3023-1849 |
| authorships[26].author.display_name | Tobias Ribizel |
| authorships[26].author_position | middle |
| authorships[26].raw_author_name | Ribizel, Tobias |
| authorships[26].is_corresponding | False |
| authorships[27].author.id | https://openalex.org/A5081699368 |
| authorships[27].author.orcid | https://orcid.org/0000-0002-4345-4200 |
| authorships[27].author.display_name | Jason Riedy |
| authorships[27].author_position | middle |
| authorships[27].raw_author_name | Riedy, Jason |
| authorships[27].is_corresponding | False |
| authorships[28].author.id | https://openalex.org/A5070997576 |
| authorships[28].author.orcid | |
| authorships[28].author.display_name | Siva Rajamanickam |
| authorships[28].author_position | middle |
| authorships[28].raw_author_name | Rajamanickam, Siva |
| authorships[28].is_corresponding | False |
| authorships[29].author.id | https://openalex.org/A5048170299 |
| authorships[29].author.orcid | https://orcid.org/0000-0002-9432-5855 |
| authorships[29].author.display_name | Piyush Sao |
| authorships[29].author_position | middle |
| authorships[29].raw_author_name | Sao, Piyush |
| authorships[29].is_corresponding | False |
| authorships[30].author.id | https://openalex.org/A5057428462 |
| authorships[30].author.orcid | |
| authorships[30].author.display_name | Manu Shantharam |
| authorships[30].author_position | middle |
| authorships[30].raw_author_name | Shantharam, Manu |
| authorships[30].is_corresponding | False |
| authorships[31].author.id | https://openalex.org/A5019745966 |
| authorships[31].author.orcid | https://orcid.org/0000-0001-6647-2690 |
| authorships[31].author.display_name | Keita Teranishi |
| authorships[31].author_position | middle |
| authorships[31].raw_author_name | Teranishi, Keita |
| authorships[31].is_corresponding | False |
| authorships[32].author.id | https://openalex.org/A5083604741 |
| authorships[32].author.orcid | https://orcid.org/0000-0002-5937-7959 |
| authorships[32].author.display_name | Stanimire Tomov |
| authorships[32].author_position | middle |
| authorships[32].raw_author_name | Tomov, Stan |
| authorships[32].is_corresponding | False |
| authorships[33].author.id | https://openalex.org/A5037751512 |
| authorships[33].author.orcid | https://orcid.org/0000-0001-5229-3739 |
| authorships[33].author.display_name | Yu‐Hsiang Tsai |
| authorships[33].author_position | middle |
| authorships[33].raw_author_name | Tsai, Yu-Hsiang |
| authorships[33].is_corresponding | False |
| authorships[34].author.id | https://openalex.org/A5114761205 |
| authorships[34].author.orcid | |
| authorships[34].author.display_name | Heiko Weichelt |
| authorships[34].author_position | last |
| authorships[34].raw_author_name | Weichelt, Heiko |
| authorships[34].is_corresponding | False |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://arxiv.org/pdf/2411.13259 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Interface for Sparse Linear Algebra Operations |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T06:51:31.235846 |
| primary_topic.id | https://openalex.org/T10142 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.6916999816894531 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1703 |
| primary_topic.subfield.display_name | Computational Theory and Mathematics |
| primary_topic.display_name | Formal Methods in Verification |
| related_works | https://openalex.org/W4285303061, https://openalex.org/W2525488343, https://openalex.org/W622366405, https://openalex.org/W2477677129, https://openalex.org/W2378563121, https://openalex.org/W2383666998, https://openalex.org/W2358786979, https://openalex.org/W2388645548, https://openalex.org/W616292901, https://openalex.org/W2353985876 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:arXiv.org:2411.13259 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306400194 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | arXiv (Cornell University) |
| best_oa_location.source.host_organization | https://openalex.org/I205783295 |
| best_oa_location.source.host_organization_name | Cornell University |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://arxiv.org/pdf/2411.13259 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | http://arxiv.org/abs/2411.13259 |
| primary_location.id | pmh:oai:arXiv.org:2411.13259 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306400194 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | arXiv (Cornell University) |
| primary_location.source.host_organization | https://openalex.org/I205783295 |
| primary_location.source.host_organization_name | Cornell University |
| primary_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| primary_location.license | |
| primary_location.pdf_url | https://arxiv.org/pdf/2411.13259 |
| primary_location.version | submittedVersion |
| primary_location.raw_type | |
| primary_location.license_id | |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | http://arxiv.org/abs/2411.13259 |
| publication_date | 2024-11-20 |
| publication_year | 2024 |
| referenced_works_count | 0 |
| abstract_inverted_index.a | 47, 86, 170, 207, 238, 256 |
| abstract_inverted_index.At | 164 |
| abstract_inverted_index.In | 188, 233 |
| abstract_inverted_index.US | 197 |
| abstract_inverted_index.an | 3, 189 |
| abstract_inverted_index.as | 126 |
| abstract_inverted_index.by | 230 |
| abstract_inverted_index.in | 10, 29, 31, 37, 102, 139, 260 |
| abstract_inverted_index.is | 59, 94, 117, 222 |
| abstract_inverted_index.of | 2, 26, 85, 108, 185, 258, 262 |
| abstract_inverted_index.on | 46 |
| abstract_inverted_index.to | 55, 97, 122, 128, 158, 264 |
| abstract_inverted_index.we | 136, 202, 236 |
| abstract_inverted_index.API | 240 |
| abstract_inverted_index.C++ | 239 |
| abstract_inverted_index.One | 58 |
| abstract_inverted_index.The | 0 |
| abstract_inverted_index.and | 73, 144, 156, 178, 180, 200, 221, 250 |
| abstract_inverted_index.are | 137 |
| abstract_inverted_index.due | 54 |
| abstract_inverted_index.for | 5, 49, 68, 113, 132, 172, 182, 210, 241 |
| abstract_inverted_index.has | 14, 42 |
| abstract_inverted_index.how | 252, 263 |
| abstract_inverted_index.lot | 257 |
| abstract_inverted_index.may | 76 |
| abstract_inverted_index.not | 43, 118 |
| abstract_inverted_index.own | 160 |
| abstract_inverted_index.the | 11, 24, 38, 40, 60, 83, 106, 109, 114, 123, 129, 140, 165, 218, 225, 247 |
| abstract_inverted_index.two | 204 |
| abstract_inverted_index.yet | 44 |
| abstract_inverted_index.API. | 269 |
| abstract_inverted_index.BLAS | 12, 162 |
| abstract_inverted_index.HPC. | 33 |
| abstract_inverted_index.This | 81 |
| abstract_inverted_index.data | 111 |
| abstract_inverted_index.fact | 61 |
| abstract_inverted_index.have | 154 |
| abstract_inverted_index.late | 138 |
| abstract_inverted_index.many | 69, 145 |
| abstract_inverted_index.same | 166 |
| abstract_inverted_index.size | 107 |
| abstract_inverted_index.that | 62, 95, 174, 216 |
| abstract_inverted_index.this | 234, 268 |
| abstract_inverted_index.used | 229 |
| abstract_inverted_index.user | 219 |
| abstract_inverted_index.with | 224 |
| abstract_inverted_index.Labs, | 199 |
| abstract_inverted_index.allow | 67, 181 |
| abstract_inverted_index.basic | 211 |
| abstract_inverted_index.dense | 6, 98, 133 |
| abstract_inverted_index.favor | 77 |
| abstract_inverted_index.known | 120 |
| abstract_inverted_index.makes | 82 |
| abstract_inverted_index.needs | 220 |
| abstract_inverted_index.past, | 39 |
| abstract_inverted_index.prior | 121 |
| abstract_inverted_index.spent | 203 |
| abstract_inverted_index.terms | 261 |
| abstract_inverted_index.their | 159 |
| abstract_inverted_index.there | 168 |
| abstract_inverted_index.time, | 167 |
| abstract_inverted_index.using | 149 |
| abstract_inverted_index.would | 175 |
| abstract_inverted_index.years | 205 |
| abstract_inverted_index.agreed | 45 |
| abstract_inverted_index.always | 119 |
| abstract_inverted_index.behind | 267 |
| abstract_inverted_index.cycle, | 143 |
| abstract_inverted_index.demand | 171 |
| abstract_inverted_index.design | 248 |
| abstract_inverted_index.detail | 251 |
| abstract_inverted_index.easier | 183 |
| abstract_inverted_index.effort | 131, 192 |
| abstract_inverted_index.exists | 169 |
| abstract_inverted_index.linear | 7, 19, 51, 64, 99, 104, 134, 151, 213, 243 |
| abstract_inverted_index.paper, | 235 |
| abstract_inverted_index.reason | 93 |
| abstract_inverted_index.result | 116 |
| abstract_inverted_index.serves | 217 |
| abstract_inverted_index.sparse | 50, 63, 103, 110, 150, 161, 212, 242 |
| abstract_inverted_index.Another | 92 |
| abstract_inverted_index.Despite | 34 |
| abstract_inverted_index.algebra | 8, 20, 52, 65, 100, 152, 214, 244 |
| abstract_inverted_index.between | 17 |
| abstract_inverted_index.blocks. | 187 |
| abstract_inverted_index.discuss | 246 |
| abstract_inverted_index.efforts | 36 |
| abstract_inverted_index.enabled | 15 |
| abstract_inverted_index.freedom | 259 |
| abstract_inverted_index.improve | 176 |
| abstract_inverted_index.objects | 66 |
| abstract_inverted_index.opposed | 96, 127 |
| abstract_inverted_index.present | 237 |
| abstract_inverted_index.storage | 71, 79 |
| abstract_inverted_index.success | 25 |
| abstract_inverted_index.thereby | 22 |
| abstract_inverted_index.National | 198 |
| abstract_inverted_index.academic | 195 |
| abstract_inverted_index.algebra, | 105, 135 |
| abstract_inverted_index.boosting | 23 |
| abstract_inverted_index.building | 186 |
| abstract_inverted_index.choices, | 249 |
| abstract_inverted_index.formats, | 72 |
| abstract_inverted_index.formats. | 80 |
| abstract_inverted_index.hardware | 75 |
| abstract_inverted_index.numerous | 35, 56, 194 |
| abstract_inverted_index.preserve | 255 |
| abstract_inverted_index.reasons. | 57 |
| abstract_inverted_index.routines | 153 |
| abstract_inverted_index.software | 147, 253 |
| abstract_inverted_index.standard | 13 |
| abstract_inverted_index.vendors. | 232 |
| abstract_inverted_index.committed | 157 |
| abstract_inverted_index.community | 41 |
| abstract_inverted_index.currently | 228 |
| abstract_inverted_index.designing | 206 |
| abstract_inverted_index.different | 18, 70, 74, 78, 226, 231 |
| abstract_inverted_index.extremely | 90 |
| abstract_inverted_index.implement | 265 |
| abstract_inverted_index.industry, | 201 |
| abstract_inverted_index.interface | 4, 89, 209 |
| abstract_inverted_index.involving | 193 |
| abstract_inverted_index.libraries | 148 |
| abstract_inverted_index.operation | 115 |
| abstract_inverted_index.readiness | 142 |
| abstract_inverted_index.structure | 112 |
| abstract_inverted_index.compatible | 223 |
| abstract_inverted_index.computing, | 28 |
| abstract_inverted_index.definition | 84 |
| abstract_inverted_index.developers | 254 |
| abstract_inverted_index.inclusive, | 190 |
| abstract_inverted_index.interface. | 163 |
| abstract_inverted_index.interfaces | 227 |
| abstract_inverted_index.libraries, | 21 |
| abstract_inverted_index.operations | 9, 53 |
| abstract_inverted_index.particular | 30 |
| abstract_inverted_index.scientific | 27, 32 |
| abstract_inverted_index.technology | 141 |
| abstract_inverted_index.implemented | 155 |
| abstract_inverted_index.integration | 184 |
| abstract_inverted_index.Furthermore, | 125 |
| abstract_inverted_index.challenging. | 91 |
| abstract_inverted_index.information. | 124 |
| abstract_inverted_index.FORTRAN-style | 87 |
| abstract_inverted_index.functionality | 215, 266 |
| abstract_inverted_index.institutions, | 196 |
| abstract_inverted_index.functionality, | 101, 245 |
| abstract_inverted_index.standardization | 1, 48, 130, 173 |
| abstract_inverted_index.sustainability, | 179 |
| abstract_inverted_index.interoperability | 16 |
| abstract_inverted_index.production-ready | 146 |
| abstract_inverted_index.all-circumventing | 88 |
| abstract_inverted_index.hardware-portable | 208 |
| abstract_inverted_index.interoperability, | 177 |
| abstract_inverted_index.cross-institutional | 191 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 35 |
| citation_normalized_percentile |