{"id":"W1876112628","doi":"10.1007/978-3-642-15205-4_21","title":"Formal Theories for Linear Algebra","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Algebra over a field; Linear algebra; Theoretical computer science; Programming language; Mathematics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009198479,0.0004924877,0.0004691249,0.0005643429,0.0004631177,0.0004987718,0.003060516,0.0003822557,0.00001580048],"category_scores_gemma":[0.0001280424,0.0004286507,0.0001991129,0.0003527805,0.000670855,0.001051393,0.001243271,0.0007945334,0.0000388658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001138425,"about_ca_system_score_gemma":0.0006118491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001005899,"about_ca_topic_score_gemma":0.00006760228,"domain_scores_codex":[0.9968274,0.00001531897,0.0004969692,0.00123814,0.0006275126,0.0007947197],"domain_scores_gemma":[0.9975893,0.0006937249,0.0002656505,0.001008806,0.0002615168,0.0001809592],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008471675,0.00001413702,0.000003865084,0.00002834092,0.00000670838,0.00000935516,0.0004576794,0.002360749,0.0002793332,0.3095599,0.000008656826,0.6872628],"study_design_scores_gemma":[0.0002671719,0.0001692537,0.00002798029,0.00009123051,0.000005394335,0.00003437055,5.989062e-8,0.3168087,0.004502771,0.6725971,0.005023376,0.0004726034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000183255,0.0001581584,0.9925212,0.001105146,0.003739069,0.0005343402,0.00001030683,0.0002212131,0.001527311],"genre_scores_gemma":[0.1192832,0.00001473398,0.8760189,0.002056899,0.00195008,0.00002930929,0.0000153565,0.00004535608,0.0005861488],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6867902,"threshold_uncertainty_score":0.9998165,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01114813960784172,"score_gpt":0.2399429926877098,"score_spread":0.228794853079868,"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."}}