{"id":"W4360785709","doi":"10.1134/s2070046622050041","title":"A Weaker Smoothness Criterion for the Inverse Function Theorem, the Intermediate Value Theorem, and the Mean Value Theorem in a non-Archimedean Setting","year":2022,"lang":"en","type":"article","venue":"P-Adic Numbers Ultrametric Analysis and Applications","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mean value theorem (divided differences); Mathematics; Smoothness; Inverse; Value (mathematics); Danskin's theorem; Brouwer fixed-point theorem; Function (biology); Picard–Lindelöf theorem; Fundamental theorem of calculus; Inverse function theorem; Mathematical analysis; Applied mathematics; Pure mathematics; Statistics; 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.002271581,0.0006323915,0.0008932465,0.001801013,0.001096804,0.002046283,0.001661529,0.001546274,0.00182229],"category_scores_gemma":[0.005675564,0.0002585654,0.001181033,0.0008450529,0.003603517,0.003905443,0.00217884,0.003572233,0.000276555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001467292,"about_ca_system_score_gemma":0.0008655092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008316384,"about_ca_topic_score_gemma":0.0005391416,"domain_scores_codex":[0.9990736,0.0002204868,0.00005083446,0.0002260955,0.0003097266,0.0001191757],"domain_scores_gemma":[0.9968778,0.001354453,0.0004831067,0.0003916196,0.000505902,0.0003872236],"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.00003848969,0.00002011993,0.001120679,0.00004892918,0.00001462547,0.0001560175,0.0001248357,0.004719644,0.004734394,0.9830873,0.0005609991,0.00537407],"study_design_scores_gemma":[0.00002882319,0.0001673306,0.002459812,0.00003504196,0.00002566259,0.00050352,0.0001402109,0.1753519,0.00637239,0.8090298,0.005820308,0.00006513662],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2685269,0.0009070556,0.7096369,0.001991297,0.0002378386,0.00004291241,0.0001728244,0.0001558809,0.01832845],"genre_scores_gemma":[0.9149653,0.0003936344,0.07632562,0.0003516054,0.0003901772,0.0001002595,0.0002319147,0.00007031101,0.00717116],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002271581,"threshold_uncertainty_score":0.01201338,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01053547122224896,"score_gpt":0.2675199345434235,"score_spread":0.2569844633211745,"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."}}