{"id":"W2027264688","doi":"10.1145/2213977.2213998","title":"Short proofs for the determinant identities","year":2012,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics; Mathematical proof; Polynomial; Combinatorics; Degree (music); Diagonal; Proof complexity; Corollary; Identity (music); Finite field; Discrete mathematics; Arithmetic; Identity matrix; Eigenvalues and eigenvectors; Mathematical analysis","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.0003633101,0.0000523169,0.00004972591,0.00001584297,0.0001215463,0.0001088753,0.0005428755,0.00001576593,0.00001526298],"category_scores_gemma":[0.00001393635,0.00002739579,0.0000452879,0.0000510531,0.00002537655,0.000500335,0.0001374675,0.00002397783,0.0000284085],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006714787,"about_ca_system_score_gemma":0.000006935998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003132765,"about_ca_topic_score_gemma":0.000001751493,"domain_scores_codex":[0.9995273,0.00001020537,0.00007715321,0.00008449524,0.00008628233,0.0002145158],"domain_scores_gemma":[0.9994671,0.0001616162,0.00001276977,0.0003105321,0.00001618742,0.00003182738],"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.000001341761,0.00003016931,0.001397755,0.00001021545,0.00001082063,5.816852e-7,0.0007136046,0.00000131333,0.0003223447,0.6892279,0.008112758,0.3001712],"study_design_scores_gemma":[0.0006874519,0.0002549111,0.1339646,0.00005647393,0.00008034566,0.0003158523,0.001500678,0.2871873,0.1245803,0.1692078,0.280872,0.001292294],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02287284,0.0005523827,0.9720836,0.0004256875,0.0007777233,0.0002259512,8.623315e-7,0.0001476594,0.002913304],"genre_scores_gemma":[0.9868079,0.000007091287,0.009695312,0.0003799395,0.0001546156,0.00006409644,2.734762e-7,0.000003932974,0.002886835],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9639351,"threshold_uncertainty_score":0.1117168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02755993243438499,"score_gpt":0.2718317100569432,"score_spread":0.2442717776225582,"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."}}