{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.00607402,0.0003354131,0.0006824163,0.0004639064,0.00161473,0.0002114989,0.0006652922,0.00007786792,0.0002750503],"category_scores_gemma":[0.00100472,0.0001619548,0.0005810793,0.004616194,0.001479185,0.00007840672,0.0003070543,0.0005789058,0.000005111947],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006877965,"about_ca_system_score_gemma":0.00002979341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003367326,"about_ca_topic_score_gemma":0.000202061,"domain_scores_codex":[0.9967522,0.0008278842,0.0008146036,0.0006050172,0.0005519149,0.0004483919],"domain_scores_gemma":[0.985703,0.01279188,0.000408384,0.0008693553,0.00009499658,0.0001323946],"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.000134785,0.0001893477,0.0005505863,0.00006638496,0.001095875,4.923281e-7,0.003684174,0.0002618691,0.00001913439,0.9752641,0.0001403889,0.01859289],"study_design_scores_gemma":[0.0008731456,0.00003802466,0.000828071,0.0000145456,0.004183791,0.000008874098,0.008201832,0.1672356,0.00001558955,0.8172314,0.00115714,0.0002119921],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1312327,0.0006619827,0.8499163,0.009578391,0.00008265786,0.00376502,0.000138563,0.0000981495,0.004526175],"genre_scores_gemma":[0.9947734,0.0001934966,0.001185794,0.0008667171,0.0001111573,0.002512402,0.0000376429,0.00003709989,0.0002822146],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8635408,"threshold_uncertainty_score":0.999685,"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."}}