{"id":"W2397726031","doi":"10.1134/s2070046616020059","title":"A local mean value theorem for functions on non-archimedean field extensions of the real numbers","year":2016,"lang":"en","type":"article","venue":"P-Adic Numbers Ultrametric Analysis and Applications","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Differentiable function; Mathematics; Extension (predicate logic); Cauchy distribution; Pure mathematics; Field (mathematics); Order (exchange); Taylor's theorem; Uniform limit theorem; Local field; Mean value theorem (divided differences); Real number; Discrete mathematics; Mathematical analysis; Fixed-point theorem; Picard–Lindelöf theorem; Computer science; Finance","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":[],"consensus_categories":[],"category_scores_codex":[0.0005951285,0.0002261211,0.0005910437,0.0003678267,0.0003688649,0.00002501992,0.0003392385,0.0001210066,0.0003383156],"category_scores_gemma":[0.0008599226,0.0001155395,0.0008035532,0.003282446,0.0005695211,0.00003830658,0.00006512019,0.0001454523,0.00002089558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004023121,"about_ca_system_score_gemma":0.0000313271,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002223641,"about_ca_topic_score_gemma":0.0001232376,"domain_scores_codex":[0.9981114,0.00009823105,0.0006322316,0.0004627419,0.0003872185,0.0003081447],"domain_scores_gemma":[0.9917922,0.006691948,0.0002809464,0.0008561126,0.0001677939,0.000210979],"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.00002501647,0.0003861279,0.001090575,0.00004730108,0.001049185,1.404067e-7,0.0001358621,0.0000193885,0.0002341258,0.9744027,0.0005963846,0.02201319],"study_design_scores_gemma":[0.0005270477,0.0001109747,0.001045663,0.00006599852,0.005371662,0.000002875934,0.0006474959,0.003835595,0.001976778,0.9849895,0.001143711,0.0002826769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03263862,0.00001524945,0.9493779,0.001880707,0.0000207529,0.0006451755,0.0001206196,0.0000442677,0.01525668],"genre_scores_gemma":[0.992706,0.00007375651,0.004935206,0.0001626344,0.00005300246,0.0003042589,0.000009829412,0.00002147158,0.00173381],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9600674,"threshold_uncertainty_score":0.4711565,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01349271797912882,"score_gpt":0.2800629469072431,"score_spread":0.2665702289281143,"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."}}