{"id":"W1987241097","doi":"10.1007/s00153-004-0249-8","title":"Weak theories of linear algebra","year":2004,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Algebra over a field; Linear algebra; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002244586,0.001036033,0.001563695,0.004640671,0.003886816,0.009099012,0.001715543,0.001410721,0.02584518],"category_scores_gemma":[0.006445317,0.001273816,0.001149181,0.005668604,0.004546917,0.01432635,0.003525549,0.00689014,0.005757047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002722808,"about_ca_system_score_gemma":0.001355083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001378766,"about_ca_topic_score_gemma":0.001430749,"domain_scores_codex":[0.998569,0.0005006199,0.0001284269,0.0002248008,0.0004678487,0.0001093334],"domain_scores_gemma":[0.996034,0.001865571,0.0002260752,0.0007924577,0.000821239,0.0002607607],"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.00001708575,0.00001171134,0.00008461286,0.00004019841,0.000005743258,0.0000116641,0.0001197473,0.0001374805,0.000101855,0.9870272,0.006375492,0.006067123],"study_design_scores_gemma":[0.00000712915,0.000004637054,0.00007931377,0.00002158104,0.000009830601,0.00002352291,0.00004756519,0.0007175287,0.0001987994,0.9827291,0.01615505,0.000005835013],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05277581,0.02230082,0.4522586,0.02998353,0.00442383,0.0001232062,0.003969811,0.002745088,0.4314193],"genre_scores_gemma":[0.685545,0.01113096,0.07544407,0.002519342,0.006107756,0.000294493,0.006114269,0.001301488,0.2115427],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02584518,"threshold_uncertainty_score":0.08646071,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01851687010511695,"score_gpt":0.2600622216944414,"score_spread":0.2415453515893244,"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."}}