{"id":"W2125293664","doi":"10.2178/jsl/1164060462","title":"Computability Results Used in Differential Geometry","year":2006,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Mathematics; Computability; Modulo; Maxima and minima; Computability theory; Differential geometry; Recursively enumerable language; Function (biology); Discrete mathematics; Pure mathematics; Geometry; Mathematical analysis","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.002183295,0.00083306,0.0007488106,0.003524192,0.001790664,0.004546446,0.001132234,0.001163585,0.004963724],"category_scores_gemma":[0.008558027,0.0003764638,0.001260369,0.003092459,0.007958663,0.008538928,0.00381835,0.004808774,0.0005352438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004624662,"about_ca_system_score_gemma":0.0006137418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001752812,"about_ca_topic_score_gemma":0.0007621029,"domain_scores_codex":[0.9979764,0.0005235865,0.0001679896,0.0005561987,0.0006068684,0.0001690309],"domain_scores_gemma":[0.9916198,0.005972472,0.0003781532,0.001023815,0.0007212759,0.0002843821],"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.000004706847,0.00000321857,0.0001113596,0.00001830775,0.000003518387,0.0000183998,0.00007528443,0.0007993384,0.0001437864,0.9968985,0.0002295379,0.001694052],"study_design_scores_gemma":[0.000003930209,0.000004690146,0.0001254762,0.00001293993,0.000003880884,0.00003174112,0.00003484027,0.004680029,0.0003329552,0.9901624,0.004602186,0.000004846315],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1379881,0.01398119,0.663518,0.01354434,0.001025812,0.0001248908,0.0007777365,0.0005213749,0.1685186],"genre_scores_gemma":[0.9287723,0.002767048,0.05452251,0.0007981765,0.0007889159,0.0001534537,0.0003175304,0.0001096578,0.01177055],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004963724,"threshold_uncertainty_score":0.03355443,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01754326544855362,"score_gpt":0.2507667551692935,"score_spread":0.2332234897207399,"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."}}