{"id":"W2155106010","doi":"10.1080/0020739031000108628","title":"Mimicry of proofs with computers: the case of Linear Algebra","year":2003,"lang":"en","type":"article","venue":"International Journal of Mathematical Education in Science and Technology","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematical proof; Orthogonalization; Computer-assisted proof; Linear algebra; Set (abstract data type); Mimicry; Computer science; Algebra over a field; Proof assistant; Mathematics; Pure mathematics; Algorithm; Programming language","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.004816804,0.0008705002,0.0009574029,0.001090551,0.002329119,0.00537531,0.001952242,0.003947011,0.004853372],"category_scores_gemma":[0.02838453,0.0009992599,0.00140636,0.0009612693,0.01110852,0.01166293,0.004419981,0.003244643,0.0009555075],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00177351,"about_ca_system_score_gemma":0.001452769,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001691642,"about_ca_topic_score_gemma":0.001011541,"domain_scores_codex":[0.9906199,0.006468489,0.0002733874,0.0007550751,0.001425838,0.0004573037],"domain_scores_gemma":[0.9771867,0.0179939,0.001032419,0.002765149,0.0006608271,0.0003608716],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008901763,0.00004668367,0.000352383,0.0001913903,0.00002366885,0.0007631144,0.002934445,0.01168168,0.002133509,0.9546512,0.0009922886,0.02614055],"study_design_scores_gemma":[0.00008240031,0.0001666929,0.0002632335,0.0001857589,0.00004031961,0.001591463,0.0009228748,0.08997798,0.008555718,0.8368429,0.06128732,0.00008337845],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07658153,0.003748441,0.8466507,0.004672162,0.0002461954,0.0001920483,0.00003901371,0.0009455599,0.0669243],"genre_scores_gemma":[0.6410283,0.00169208,0.3470937,0.0004464972,0.0001721149,0.0001913647,0.00003166183,0.0001875872,0.009156697],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00537531,"threshold_uncertainty_score":0.02547395,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01865939608350565,"score_gpt":0.37915634814995,"score_spread":0.3604969520664443,"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."}}