{"id":"W2518208205","doi":"10.1080/03081087.2017.1284740","title":"The complete equivalence canonical form of four matrices over an arbitrary division ring","year":2017,"lang":"en","type":"article","venue":"Linear and Multilinear Algebra","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Sylvester matrix; Equivalence (formal languages); Quaternion; Canonical form; Division ring; Division (mathematics); Matrix equivalence; Ring (chemistry)","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006684927,0.0005504928,0.0004036218,0.0008726902,0.001043423,0.00168064,0.0005646037,0.0005823333,0.009604158],"category_scores_gemma":[0.001409472,0.0002387608,0.0005373425,0.0005644864,0.001582805,0.003660683,0.001483746,0.001172199,0.00125123],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004554103,"about_ca_system_score_gemma":0.0006478577,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005375968,"about_ca_topic_score_gemma":0.0004144479,"domain_scores_codex":[0.9991024,0.0001663165,0.00005268153,0.0002055524,0.0002448609,0.0002282455],"domain_scores_gemma":[0.9994439,0.00008364917,0.0001212613,0.00007323602,0.0001735956,0.000104229],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003924379,0.00002888786,0.000406517,0.00003164169,0.000007398477,0.0002146521,0.0004184931,0.001573381,0.002823266,0.9809645,0.0009638098,0.01252815],"study_design_scores_gemma":[0.00003506627,0.0000968692,0.0003812488,0.00001630385,0.00001091817,0.0003306135,0.0003681456,0.01151569,0.005712191,0.9691718,0.01232103,0.00004017474],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6268976,0.0005117267,0.2807758,0.001106346,0.0002936599,0.0001637007,0.0003865951,0.0002969122,0.08956759],"genre_scores_gemma":[0.963321,0.0002342103,0.02575296,0.0001399677,0.0001245349,0.0000518015,0.0002688704,0.00005317792,0.01005347],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009604158,"threshold_uncertainty_score":0.03212911,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03498697685667304,"score_gpt":0.3052105010019274,"score_spread":0.2702235241452544,"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."}}