{"id":"W2111878548","doi":"10.1016/j.jsc.2014.02.003","title":"On the length of integers in telescopers for proper hypergeometric terms","year":2014,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Capilano University; Simon Fraser University","funders":"","keywords":"Mathematics; Telescoping series; Bivariate analysis; Integer (computer science); Quintic function; Hypergeometric distribution; Combinatorics; Order (exchange); Hypergeometric identity; Upper and lower bounds; Degree (music); Term (time); Binomial (polynomial); Hypergeometric function; Discrete mathematics; Confluent hypergeometric function; Pure mathematics; Hypergeometric function of a matrix argument; Statistics; 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.004400167,0.001073747,0.001589638,0.00391237,0.003433299,0.006503172,0.002659209,0.00245694,0.01178116],"category_scores_gemma":[0.02366026,0.0009839358,0.001491788,0.002703446,0.007013545,0.01536043,0.004529672,0.00443918,0.0013758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003965409,"about_ca_system_score_gemma":0.002085735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002143568,"about_ca_topic_score_gemma":0.002974907,"domain_scores_codex":[0.9971344,0.0008171799,0.0002322283,0.0003796501,0.0006974133,0.0007390879],"domain_scores_gemma":[0.9840983,0.01049749,0.001938248,0.0012257,0.001078181,0.001162062],"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.000345835,0.00004562034,0.001303419,0.00009329494,0.00001679609,0.000150745,0.0007609299,0.003847815,0.001435893,0.9844237,0.001373524,0.006202343],"study_design_scores_gemma":[0.00004317017,0.00003640934,0.0004355619,0.00007526011,0.00003041668,0.00008168713,0.0002439714,0.01388233,0.001177371,0.9818308,0.00211647,0.00004647509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7327075,0.001850847,0.1802346,0.004249627,0.0006045061,0.0001574301,0.0008101166,0.0007519965,0.07863332],"genre_scores_gemma":[0.9607653,0.0008885561,0.0210765,0.0004537368,0.000467927,0.0001276647,0.0004901367,0.0004175177,0.01531262],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01178116,"threshold_uncertainty_score":0.0394119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01440523090187036,"score_gpt":0.2394841227861877,"score_spread":0.2250788918843173,"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."}}