{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002917936,0.0006129003,0.0008371869,0.001931408,0.00116343,0.002743794,0.001046265,0.0009253862,0.002687469],"category_scores_gemma":[0.003349624,0.000301411,0.001417197,0.001226264,0.003743108,0.007741788,0.001765399,0.002393012,0.0005645361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002684594,"about_ca_system_score_gemma":0.0008611431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001015964,"about_ca_topic_score_gemma":0.0007045238,"domain_scores_codex":[0.9988546,0.0002820569,0.0000826139,0.0003031792,0.0003387024,0.0001388777],"domain_scores_gemma":[0.9984402,0.0006724008,0.0001575556,0.0001538303,0.0003815305,0.0001944481],"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.000006950311,0.000004655284,0.00007506945,0.00001295934,0.00000304102,0.00004518022,0.00007940279,0.0003586487,0.0003006228,0.9972689,0.0001342015,0.001710385],"study_design_scores_gemma":[0.00001098098,0.00003130112,0.0001972743,0.00001734626,0.000009900962,0.000126228,0.00005765828,0.008808997,0.0007624849,0.9842787,0.005685767,0.00001332564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1503288,0.002492018,0.7994081,0.002207136,0.0004034637,0.00005741311,0.0002768307,0.0003432296,0.04448299],"genre_scores_gemma":[0.7817729,0.001787849,0.1824308,0.0007395523,0.0006554436,0.0001955018,0.0002912871,0.0002459461,0.03188079],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.002917936,"threshold_uncertainty_score":0.0194782,"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."}}