{"id":"W34132871","doi":"10.1007/s00421-021-04736-y","title":"Complete term rewrite systems for decimal arithmetic and other total recursive functions","year":2007,"lang":"en","type":"article","venue":"European Journal of Applied Physiology","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Ontario Ministry of Research, Innovation and Science","keywords":"Mathematical proof; Term (time); Arithmetic; Mathematics; Decimal; Base (topology); Function (biology); Correctness; Primitive recursive function; Fibonacci number; Discrete mathematics; Computer science; Algebra over a field; Algorithm; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001344326,0.0005274605,0.0008704325,0.001230719,0.001083887,0.004080715,0.001111295,0.000888327,0.00609141],"category_scores_gemma":[0.004522943,0.0004663946,0.001927302,0.001144279,0.001763382,0.005852865,0.001776349,0.002096197,0.002195593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001172422,"about_ca_system_score_gemma":0.001160415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001917974,"about_ca_topic_score_gemma":0.002499857,"domain_scores_codex":[0.9983312,0.0002728066,0.0002108528,0.0003430536,0.0006378813,0.0002041402],"domain_scores_gemma":[0.9973254,0.001169531,0.0001975282,0.0006311061,0.0006070758,0.00006940615],"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.00005201315,0.00002588117,0.0005909281,0.0002053585,0.00004732091,0.0002837977,0.0006790721,0.004930416,0.004582336,0.949912,0.002156136,0.03653475],"study_design_scores_gemma":[0.00002341611,0.00004836828,0.0005565647,0.00004343949,0.00006536157,0.0004741157,0.0001608558,0.02134307,0.005590227,0.9494431,0.02217917,0.00007231031],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08365631,0.002514683,0.8839328,0.0006545576,0.0002761021,0.0001221402,0.0009397625,0.00145084,0.02645288],"genre_scores_gemma":[0.7215639,0.00155857,0.2418813,0.0005809476,0.0004491082,0.0001669489,0.001785241,0.0008049007,0.03120913],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00609141,"threshold_uncertainty_score":0.02037781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02744481601118313,"score_gpt":0.2411674164372144,"score_spread":0.2137226004260313,"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."}}