{"id":"https://openalex.org/W3045549505","doi":"https://doi.org/10.1145/3373207.3404022","title":"A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix","display_name":"A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix","publication_year":2020,"publication_date":"2020-07-20","ids":{"openalex":"https://openalex.org/W3045549505","doi":"https://doi.org/10.1145/3373207.3404022","mag":"3045549505"},"language":"en","primary_location":{"id":"doi:10.1145/3373207.3404022","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3373207.3404022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068348971","display_name":"Stavros Birmpilis","orcid":"https://orcid.org/0000-0002-1766-9814"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Stavros Birmpilis","raw_affiliation_strings":["University of Waterloo"],"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001656489","display_name":"George Labahn","orcid":"https://orcid.org/0009-0005-8977-4890"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"George Labahn","raw_affiliation_strings":["University of Waterloo"],"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008351804","display_name":"Arne Storjohann","orcid":"https://orcid.org/0000-0002-6354-8810"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Arne Storjohann","raw_affiliation_strings":["University of Waterloo"],"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068348971"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.6628,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75785147,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"38","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/invertible-matrix","display_name":"Invertible matrix","score":0.8158218860626221},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.7657512426376343},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.6660420894622803},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.6246488690376282},{"id":"https://openalex.org/keywords/integer-matrix","display_name":"Integer matrix","score":0.5943261384963989},{"id":"https://openalex.org/keywords/las-vegas","display_name":"Las vegas","score":0.5844228863716125},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5759926438331604},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5430916547775269},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.49359381198883057},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48880645632743835},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.396306574344635},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.37840840220451355},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27121493220329285},{"id":"https://openalex.org/keywords/symmetric-matrix","display_name":"Symmetric matrix","score":0.22213292121887207},{"id":"https://openalex.org/keywords/nonnegative-matrix","display_name":"Nonnegative matrix","score":0.09983950853347778},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.08576992154121399}],"concepts":[{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.8158218860626221},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.7657512426376343},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6660420894622803},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.6246488690376282},{"id":"https://openalex.org/C62555958","wikidata":"https://www.wikidata.org/wiki/Q6042601","display_name":"Integer matrix","level":5,"score":0.5943261384963989},{"id":"https://openalex.org/C2993101906","wikidata":"https://www.wikidata.org/wiki/Q23768","display_name":"Las vegas","level":3,"score":0.5844228863716125},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5759926438331604},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5430916547775269},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.49359381198883057},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48880645632743835},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.396306574344635},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.37840840220451355},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27121493220329285},{"id":"https://openalex.org/C54848796","wikidata":"https://www.wikidata.org/wiki/Q339011","display_name":"Symmetric matrix","level":3,"score":0.22213292121887207},{"id":"https://openalex.org/C139018669","wikidata":"https://www.wikidata.org/wiki/Q6961560","display_name":"Nonnegative matrix","level":4,"score":0.09983950853347778},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.08576992154121399},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C158739034","wikidata":"https://www.wikidata.org/wiki/Q1907114","display_name":"Metropolitan area","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3373207.3404022","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3373207.3404022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1594960997","https://openalex.org/W1971862312","https://openalex.org/W2011507771","https://openalex.org/W2067539682","https://openalex.org/W2095022281","https://openalex.org/W2102798950","https://openalex.org/W2120248756","https://openalex.org/W2143043648","https://openalex.org/W2161330625","https://openalex.org/W2960394841","https://openalex.org/W2963464974","https://openalex.org/W3032191927","https://openalex.org/W3178134685","https://openalex.org/W4205630623","https://openalex.org/W6635667792","https://openalex.org/W6683766613"],"related_works":["https://openalex.org/W2048541553","https://openalex.org/W2366105249","https://openalex.org/W1975527650","https://openalex.org/W2185598862","https://openalex.org/W2963641145","https://openalex.org/W2023301239","https://openalex.org/W2381311028","https://openalex.org/W4385335055","https://openalex.org/W4387316460","https://openalex.org/W3028475238"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,14],"Las":[3],"Vegas":[4],"randomized":[5],"algorithm":[6,24],"to":[7,81],"compute":[8],"the":[9,23,48,65,73,86,94],"Smith":[10,66],"normal":[11],"form":[12,67],"of":[13,76,85,91],"nonsingular":[15],"integer":[16,37,55],"matrix.":[17,96],"For":[18],"an":[19],"A":[20],"\u2208":[21],"Zn\u00d7n,":[22],"requires":[25],"O(n3(log":[26],"n":[27],"+":[28],"log":[29],"||A||)2":[30],"(log":[31],"n)2)":[32],"bit":[33,77],"operations":[34,78],"using":[35],"standard":[36],"and":[38,56,89],"matrix":[39,57],"arithmetic,":[40],"where":[41],"||A||":[42],"=":[43],"maxij":[44],"|Aij":[45],"|":[46],"denotes":[47],"largest":[49],"entry":[50],"in":[51,71],"absolute":[52],"value.":[53],"Fast":[54],"multiplication":[58],"can":[59,68],"also":[60],"be":[61,69],"used,":[62],"establishing":[63],"that":[64],"computed":[70],"about":[72],"same":[74,87],"number":[75],"as":[79,93],"required":[80],"multiply":[82],"two":[83],"matrices":[84],"dimension":[88],"size":[90],"entries":[92],"input":[95]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}