{"id":"W3045549505","doi":"10.1145/3373207.3404022","title":"A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix","year":2020,"lang":"en","type":"article","venue":"","topic":"Coding theory and cryptography","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Invertible matrix; Integer (computer science); Dimension (graph theory); Matrix (chemical analysis); Integer matrix; Las vegas; Mathematics; Combinatorics; Matrix multiplication; Algorithm; Discrete mathematics; Arithmetic; Computer science; Symmetric matrix; Nonnegative matrix; Pure mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003617208,0.00009188401,0.0001389988,0.00004062667,0.0001301665,0.00007664118,0.0006879653,0.00002733106,0.00000817447],"category_scores_gemma":[0.00005092631,0.00005934236,0.0001541915,0.0004292641,0.00005766648,0.0001199757,0.0002442786,0.0000846695,0.000005665269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005317426,"about_ca_system_score_gemma":0.00003523117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006024578,"about_ca_topic_score_gemma":0.000001003657,"domain_scores_codex":[0.9992744,0.00003373389,0.0001813684,0.0002040473,0.0001264594,0.0001799727],"domain_scores_gemma":[0.9991844,0.0003423099,0.00007539913,0.000266957,0.00007662684,0.00005432658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001644303,0.00004181406,0.00008267864,0.00004014796,0.0000560117,0.000002908109,0.005828312,0.0000400363,0.0003049401,0.6626224,0.001643289,0.3293211],"study_design_scores_gemma":[0.0004272365,0.0002961559,0.00007162787,0.00003332882,0.0000167904,0.00001065362,0.0003020335,0.936638,0.004248788,0.04506073,0.01274175,0.0001529319],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003900831,0.00009651053,0.9923024,0.002307841,0.0001169186,0.0001981501,0.000002172185,0.00012318,0.0009520408],"genre_scores_gemma":[0.6164727,0.000001771119,0.3822664,0.001101404,0.0001001441,0.000004598645,4.977255e-7,0.000007333768,0.00004515246],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9365979,"threshold_uncertainty_score":0.2419911,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01707131595641436,"score_gpt":0.2544514885713277,"score_spread":0.2373801726149133,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}