{"id":"W4386297689","doi":"10.1007/978-3-031-42753-4_8","title":"Teaching Linear Algebra in a Mechanized Mathematical Environment","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Ontario Tech University; Western University","funders":"","keywords":"Python (programming language); Linear algebra; Computer science; Algebra over a field; Maple; MATLAB; Symbolic computation; Mathematics education; Programming language; Software engineering; Mathematics; Pure mathematics; Geometry","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.0004948079,0.0006813396,0.0003821385,0.0006988475,0.0008001679,0.002492526,0.001059512,0.0007208363,0.06287193],"category_scores_gemma":[0.001349562,0.0004764112,0.0004465741,0.0008261707,0.001281266,0.004113817,0.002080252,0.002720783,0.01812605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008366322,"about_ca_system_score_gemma":0.001279401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003151444,"about_ca_topic_score_gemma":0.001183056,"domain_scores_codex":[0.9994974,0.0001009915,0.00001594865,0.00007133214,0.000275523,0.00003881184],"domain_scores_gemma":[0.9993898,0.0002870431,0.00003466443,0.00009559315,0.0001070237,0.00008597088],"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.00001881184,0.0001273993,0.0001353986,0.000217481,0.000006792638,0.00006230722,0.0003610041,0.003250389,0.006311251,0.7376072,0.08647553,0.1654263],"study_design_scores_gemma":[0.0000125097,0.00003845924,0.0002411185,0.000156319,0.000006308126,0.0002207864,0.0002346551,0.008840347,0.004219718,0.5490738,0.4369392,0.00001683574],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.007283616,0.001601301,0.4840267,0.005179903,0.001335438,0.0000619381,0.0001613688,0.002215111,0.4981346],"genre_scores_gemma":[0.1099374,0.005000242,0.3919351,0.002029976,0.001880922,0.0001951863,0.0004261729,0.001357839,0.4872372],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.06287193,"threshold_uncertainty_score":0.2103276,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02543426211771828,"score_gpt":0.2754533864703181,"score_spread":0.2500191243525999,"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."}}