{"id":"W23709082","doi":"10.1213/ane.0b013e31828f649e","title":"Partial Evaluation and Residual Theorems in Computer Algebra","year":2006,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Maple; Symbolic computation; Partial evaluation; Residual; Guard (computer science); Algebra over a field; Computer science; Mathematics; Code (set theory); Programming language; Algorithm; Pure mathematics; Set (abstract data type)","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.002267661,0.0003109305,0.0004749394,0.0006204883,0.0006738703,0.001788188,0.001138412,0.0003973703,0.0060197],"category_scores_gemma":[0.008538636,0.0003618897,0.0006784814,0.0008240305,0.003067081,0.005695383,0.002212754,0.001524389,0.0007670131],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001010898,"about_ca_system_score_gemma":0.0009162683,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001035346,"about_ca_topic_score_gemma":0.001293504,"domain_scores_codex":[0.9985616,0.0005804569,0.00009741021,0.0001786046,0.0003906309,0.0001912826],"domain_scores_gemma":[0.9956633,0.002681686,0.0001561719,0.0009828769,0.0004090851,0.0001067587],"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.0001949314,0.00005952022,0.001728611,0.0003178433,0.00003477504,0.0001559801,0.0008275138,0.02685255,0.004744722,0.8532013,0.0026967,0.1091855],"study_design_scores_gemma":[0.00005325451,0.0001320329,0.0003656119,0.00008585442,0.00003930612,0.0001801766,0.0001398201,0.1285509,0.02514347,0.8210371,0.02423083,0.00004169257],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09731752,0.000433915,0.8837153,0.000726865,0.00004370286,0.00005437147,0.0001409538,0.004860116,0.01270728],"genre_scores_gemma":[0.7270517,0.0004113657,0.2646771,0.0002154678,0.00006216727,0.0001080284,0.0003222639,0.0005929166,0.00655899],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0060197,"threshold_uncertainty_score":0.02013797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02201830442350637,"score_gpt":0.2606535766821796,"score_spread":0.2386352722586733,"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."}}