{"id":"W2167294532","doi":"10.1109/arith.2003.1207659","title":"SRT division algorithms as dynamical systems","year":2004,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Division (mathematics); Ergodic theory; Bernoulli's principle; Division algorithm; Computer science; Dynamical systems theory; Entropy (arrow of time); Bernoulli scheme; Mathematics; Algorithm; Theoretical computer science; Arithmetic; Pure mathematics; Engineering","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005180732,0.000263961,0.000313882,0.0001346588,0.0001690464,0.0004502795,0.001592783,0.0001377574,0.00003590925],"category_scores_gemma":[0.00008145823,0.0002146505,0.0001356762,0.0006115854,0.00008737521,0.0005605415,0.001024627,0.0002347316,0.000911681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003025871,"about_ca_system_score_gemma":0.0001544021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008160358,"about_ca_topic_score_gemma":0.00001756236,"domain_scores_codex":[0.9973271,0.00009662115,0.0004272773,0.000869584,0.0007373974,0.0005419822],"domain_scores_gemma":[0.9981859,0.0001495199,0.0000774359,0.001156238,0.000153921,0.0002770381],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006597376,0.0008997795,0.0008497588,0.00005806063,0.00004897968,0.00025195,0.0007295545,0.03590207,0.0004944966,0.8019946,0.0004683426,0.1582959],"study_design_scores_gemma":[0.0008796653,0.0004090242,0.005617565,0.00003943211,0.000005638638,0.0002231057,0.00005351794,0.9275283,0.0004803861,0.06201612,0.002200029,0.0005472753],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02770248,0.0001356199,0.9595239,0.001481705,0.0018393,0.0003656094,0.000001428055,0.0009059037,0.008044102],"genre_scores_gemma":[0.8495,0.000005540292,0.149416,0.0002661114,0.0001654881,0.00002137269,0.000003613068,0.00001549868,0.0006064374],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8916262,"threshold_uncertainty_score":0.9998662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01254931131718975,"score_gpt":0.2533141563142062,"score_spread":0.2407648449970165,"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."}}