{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007139223,0.001292596,0.001877828,0.001605108,0.002251359,0.004426119,0.002003633,0.006251038,0.01860541],"category_scores_gemma":[0.04177079,0.0006171174,0.001164019,0.001643837,0.003431198,0.01267393,0.004206272,0.002754582,0.01323677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001213832,"about_ca_system_score_gemma":0.002350493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001132164,"about_ca_topic_score_gemma":0.001268023,"domain_scores_codex":[0.9953399,0.001494861,0.0002698993,0.0006802123,0.001248387,0.0009667595],"domain_scores_gemma":[0.9882923,0.007039805,0.0003090624,0.002399725,0.001537798,0.0004213913],"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.0007912733,0.0001662661,0.003224879,0.0002130079,0.0001456828,0.0002144995,0.0003180516,0.01409273,0.001695242,0.682124,0.04968695,0.2473275],"study_design_scores_gemma":[0.00008342354,0.00008467086,0.0003764409,0.00009841889,0.00004015556,0.0001969962,0.0002291402,0.04798628,0.004589781,0.9257026,0.02056203,0.00005016042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08219114,0.004136886,0.701305,0.04711417,0.004728392,0.0002619712,0.000364761,0.007433971,0.1524637],"genre_scores_gemma":[0.7492239,0.002143206,0.1930852,0.003949286,0.001229732,0.0001966254,0.0005331864,0.003380487,0.04625828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01860541,"threshold_uncertainty_score":0.06224132,"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."}}