{"id":"W158560499","doi":"10.1007/978-3-319-05654-8_5","title":"Fermat’s Theorem and Wilson’s Theorem","year":2014,"lang":"en","type":"book-chapter","venue":"Undergraduate texts in mathematics","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Proofs of Fermat's little theorem; Fermat's Last Theorem; Fermat number; Mathematics; Fermat's little theorem; Mathematical proof; Chinese remainder theorem; Discrete mathematics; Regular prime; Wieferich prime; Fermat's theorem on sums of two squares; Prime number; Fundamental theorem; Brouwer fixed-point theorem; Algebra over a field; Compactness theorem; Pure mathematics; Danskin's theorem; Fixed-point theorem","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.0008675499,0.0009734115,0.0005079822,0.002141331,0.001802552,0.00241229,0.0007353763,0.001380292,0.01374369],"category_scores_gemma":[0.002120963,0.0004233562,0.0005179212,0.001963909,0.00505631,0.004547381,0.001139199,0.003402784,0.004122692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002682397,"about_ca_system_score_gemma":0.001243374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00166393,"about_ca_topic_score_gemma":0.00248019,"domain_scores_codex":[0.9994352,0.000152678,0.00002725069,0.00009758745,0.0002400828,0.00004709274],"domain_scores_gemma":[0.9996346,0.0001998096,0.00002848969,0.00004189091,0.00006856817,0.0000266803],"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.00000652476,0.000009054215,0.00003113742,0.00003767341,0.000002676712,0.0000204725,0.0001783073,0.0001194772,0.000124088,0.9661093,0.01474338,0.01861782],"study_design_scores_gemma":[0.000005231852,0.000006809956,0.0001926048,0.00004628849,0.000003040395,0.00008606174,0.00004613495,0.0001780442,0.0001489007,0.7936468,0.2056317,0.000008406751],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.005176938,0.02009303,0.02056995,0.00528764,0.00156688,0.00002114793,0.0001025141,0.0001130347,0.9470689],"genre_scores_gemma":[0.1989782,0.02408823,0.03099512,0.004790153,0.004727407,0.0001463775,0.0003363687,0.000361841,0.7355763],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01374369,"threshold_uncertainty_score":0.04597723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0332080684839393,"score_gpt":0.2649807340489549,"score_spread":0.2317726655650156,"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."}}