{"id":"W2147670550","doi":"10.1016/j.jmathb.2013.04.001","title":"Decoding a proof of Fermat's Little Theorem via script writing","year":2013,"lang":"en","type":"article","venue":"The Journal of Mathematical Behavior","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":38,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Fermat's Last Theorem; Mathematical proof; Dialog box; Scripting language; Relation (database); Computer science; Affordance; Mathematics education; Mathematics; Algebra over a field; Programming language; Pure mathematics; Human–computer interaction","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.001975386,0.0005787655,0.0006740235,0.0006306397,0.001674201,0.002209617,0.001043726,0.001499773,0.01228355],"category_scores_gemma":[0.01936522,0.0006246545,0.001094041,0.0005459118,0.0041178,0.004927285,0.002914221,0.002823418,0.003309906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007220047,"about_ca_system_score_gemma":0.0013112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005732734,"about_ca_topic_score_gemma":0.0004934065,"domain_scores_codex":[0.9981279,0.0008131151,0.0001207998,0.0002657459,0.0005166456,0.0001558305],"domain_scores_gemma":[0.9910212,0.006074278,0.0002926455,0.001385286,0.001019745,0.0002068566],"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.00008237844,0.00003282746,0.0003445373,0.00006390322,0.00001186655,0.0001563507,0.0008191459,0.001838475,0.002942282,0.9540497,0.004634663,0.03502379],"study_design_scores_gemma":[0.00002427752,0.00005182654,0.0002259206,0.0000400229,0.00001330909,0.0001640944,0.0001073268,0.01386409,0.004157854,0.9708225,0.01049776,0.00003108473],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05579644,0.0002821487,0.881846,0.004555245,0.0008543252,0.00006446248,0.0001724967,0.001305948,0.05512295],"genre_scores_gemma":[0.7020368,0.000377736,0.2687558,0.001127726,0.0004003206,0.0001029828,0.0002431332,0.0007169206,0.02623858],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01228355,"threshold_uncertainty_score":0.04109263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04747893093950223,"score_gpt":0.360484689750579,"score_spread":0.3130057588110768,"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."}}