{"id":"W2136339957","doi":"10.1109/lics.2002.1029841","title":"The proof complexity of linear algebra","year":2003,"lang":"en","type":"article","venue":"","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; McMaster University","funders":"","keywords":"Mathematical proof; Algebra over a field; Linear algebra; Proof complexity; Mathematics; Order (exchange); Matrix algebra; Matrix (chemical analysis); Discrete mathematics; Pure mathematics; Eigenvalues and eigenvectors","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.0001854962,0.00004328544,0.00006196387,0.000009653607,0.00004641957,0.000004752539,0.00006834482,0.00001934017,0.00007361568],"category_scores_gemma":[0.00001284444,0.0000266356,0.0000309663,0.00007074892,0.00005835822,0.00001880342,0.000003454756,0.00004029809,0.000019398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003091105,"about_ca_system_score_gemma":0.000002777672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002982661,"about_ca_topic_score_gemma":0.0000113864,"domain_scores_codex":[0.9996931,0.00002990403,0.000106194,0.00003491903,0.0000501116,0.00008579525],"domain_scores_gemma":[0.9997829,0.00003255018,0.000009610244,0.0001433499,0.00001345301,0.00001819213],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000001526446,0.000006684707,0.000165631,0.00002644235,0.00001986988,2.290837e-7,0.0001165667,0.0004183648,0.001535246,0.9967147,0.0006414335,0.0003532924],"study_design_scores_gemma":[0.0005482421,0.00007725866,0.001327264,0.00003663488,0.00001806853,0.00002046251,0.001304234,0.01765239,0.538081,0.2525122,0.1880637,0.0003585802],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5643451,0.0007406569,0.0104832,0.00004287386,0.0005650464,0.0002581615,0.000003476797,0.000212706,0.4233488],"genre_scores_gemma":[0.9992307,0.000004126548,0.0002225916,0.000006220474,0.00001100849,0.000004601965,3.36509e-7,0.000006117579,0.000514326],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7442024,"threshold_uncertainty_score":0.1086168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02075676942612546,"score_gpt":0.2094296264661212,"score_spread":0.1886728570399957,"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."}}