{"id":"W2548940749","doi":"10.1145/3015306.3015311","title":"Computing limits with the regularchains and powerseries libraries","year":2016,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Symbolic computation; Computation; Rational function; Algebra over a field; Algebraic number; Maple; Computer science; Mathematics; Theoretical computer science; Pure mathematics; Algorithm","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.003717802,0.0008475637,0.00125194,0.003008479,0.001623591,0.00596543,0.002479597,0.001068297,0.01357668],"category_scores_gemma":[0.02109566,0.001062062,0.001376715,0.003049064,0.003719798,0.02414815,0.006368747,0.002038425,0.007022803],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001031692,"about_ca_system_score_gemma":0.001614803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001272357,"about_ca_topic_score_gemma":0.00190537,"domain_scores_codex":[0.9958119,0.0009531049,0.0004208877,0.0007955697,0.001668967,0.000349467],"domain_scores_gemma":[0.9928057,0.002357107,0.0004242861,0.003144188,0.0008034377,0.0004653099],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004590632,0.0001737698,0.002775243,0.0003180963,0.0000703132,0.0003330363,0.0007526377,0.02705033,0.00453434,0.7483132,0.01040205,0.204818],"study_design_scores_gemma":[0.00003148017,0.00004351142,0.0001183506,0.00005425101,0.00001992354,0.0001157955,0.00008833884,0.07912383,0.007099688,0.8956738,0.01759399,0.00003682321],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.04091743,0.0004981781,0.924852,0.0005945168,0.000125513,0.0001087716,0.0006764976,0.01370824,0.01851893],"genre_scores_gemma":[0.5239838,0.0008571106,0.4526422,0.0003562994,0.0002807815,0.0003336032,0.00207348,0.0030073,0.01646543],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.01357668,"threshold_uncertainty_score":0.04541856,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02583585462445199,"score_gpt":0.2535602183242677,"score_spread":0.2277243636998157,"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."}}