{"id":"W2794595921","doi":"10.1090/conm/704/14160","title":"Calculus on a non-Archimedean field extension of the real numbers: inverse function theorem, intermediate value theorem and mean value theorem","year":2018,"lang":"en","type":"other","venue":"Contemporary mathematics - American Mathematical Society","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Mean value theorem (divided differences); Extension (predicate logic); Fundamental theorem of calculus; Brouwer fixed-point theorem; Inverse function theorem; Picard–Lindelöf theorem; Isomorphism extension theorem; Field (mathematics); Inverse; Value (mathematics); Pure mathematics; Carlson's theorem; Danskin's theorem; Discrete mathematics; 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":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.002858101,0.001595502,0.003393618,0.000251858,0.0003521634,0.0001388757,0.001542688,0.0008400534,0.002724967],"category_scores_gemma":[0.002565995,0.0009706682,0.001990237,0.0009829665,0.005926509,0.0001204262,0.001147896,0.001192486,0.000351109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001438057,"about_ca_system_score_gemma":0.0002151376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001559628,"about_ca_topic_score_gemma":0.00002426951,"domain_scores_codex":[0.9925184,0.0008448098,0.002311036,0.001427392,0.001866975,0.001031389],"domain_scores_gemma":[0.9879851,0.005500971,0.002620674,0.003019634,0.000240658,0.0006329053],"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.0001528149,0.001204229,0.00002769807,0.003599336,0.001406469,0.00001075433,0.00562283,6.56307e-7,0.0001140781,0.8921955,0.09504228,0.0006234096],"study_design_scores_gemma":[0.001034224,0.0008839978,0.00001461351,0.004845029,0.001338317,0.00002456697,0.004541998,0.01569074,0.0005518554,0.968567,0.001358863,0.001148817],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0184461,0.00009000154,0.08215639,0.0009377272,0.000451977,0.003338279,0.0001873271,0.0007059388,0.8936863],"genre_scores_gemma":[0.6564308,0.0006899397,0.1344277,0.004277953,0.002424392,0.0006781373,0.0001220958,0.004002873,0.1969462],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.6967401,"threshold_uncertainty_score":0.9996793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02201370821386158,"score_gpt":0.2791181366613824,"score_spread":0.2571044284475208,"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."}}