{"id":"W2044750531","doi":"10.1016/s0196-8858(02)00504-3","title":"When does Zeilberger's algorithm succeed?","year":2003,"lang":"en","type":"article","venue":"Advances in Applied Mathematics","topic":"Mathematical functions and polynomials","field":"Mathematics","cited_by":63,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Ministère des Ressources Naturelles et de la Faune","keywords":"Mathematics; Hypergeometric function; Order (exchange); Term (time); Algorithm; Rational function; Function (biology); Combinatorics; Discrete mathematics; Pure mathematics; Finance; Business","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001002654,0.0004043368,0.0007447746,0.0001889561,0.0001284122,0.00006313217,0.0003322685,0.0001803621,0.001466124],"category_scores_gemma":[0.0009227064,0.0002902236,0.0001301959,0.000340835,0.0001344736,0.0002083138,0.00006702392,0.0003017233,0.0002084727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008449979,"about_ca_system_score_gemma":0.00004414273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003234431,"about_ca_topic_score_gemma":0.00003638045,"domain_scores_codex":[0.9974825,0.00004750696,0.001016581,0.0004244548,0.0004274681,0.000601457],"domain_scores_gemma":[0.9964978,0.002223656,0.0003004416,0.0007789369,0.00004769819,0.0001514621],"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.000004882897,0.0004827761,0.00004631809,0.0004628602,0.00001942165,0.00000539467,0.0008427021,0.000009292209,0.0001238207,0.988335,0.001464262,0.008203235],"study_design_scores_gemma":[0.000515435,0.00002162772,0.00000170682,0.00009706448,0.00003608369,0.00001650428,0.000821957,0.0004334096,0.003525504,0.9120112,0.08213358,0.0003858896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.005991337,0.0006895353,0.474061,0.0001927478,0.0008762347,0.001476498,0.00003895261,0.0003972588,0.5162764],"genre_scores_gemma":[0.02564857,0.0002024705,0.9711452,0.0001525243,0.0001032423,0.0003126927,0.00000614173,0.00009766967,0.002331516],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5139449,"threshold_uncertainty_score":0.999955,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01707435351452438,"score_gpt":0.2903438337929929,"score_spread":0.2732694802784685,"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."}}