{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003739569,0.0001873685,0.0001882867,0.0001506729,0.0004589262,0.0003342917,0.00398071,0.00004843393,0.000002235176],"category_scores_gemma":[0.00005852701,0.0001060822,0.00003526641,0.0005725538,0.0006000247,0.0009072428,0.003588279,0.0001907937,0.00001151375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003414074,"about_ca_system_score_gemma":0.00009197425,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002520989,"about_ca_topic_score_gemma":0.0001057913,"domain_scores_codex":[0.9985899,0.000275998,0.0002761451,0.0003690344,0.0001871139,0.0003017801],"domain_scores_gemma":[0.9949561,0.00184511,0.0001253449,0.002930677,0.00006987288,0.00007294074],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009061701,0.00005705466,0.002596232,0.000006230845,0.00002798401,0.000004402358,0.00334536,0.00003810683,0.0001151546,0.459275,0.000751882,0.5337735],"study_design_scores_gemma":[0.004372392,0.000876622,0.3129239,0.0009984334,0.00003820525,0.0004149302,0.0004920277,0.2363754,0.001352987,0.3918904,0.04838458,0.001880149],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1274631,0.0006467342,0.7764103,0.09456702,0.000122852,0.0002453341,0.000001840518,0.0002530598,0.0002897347],"genre_scores_gemma":[0.7692199,0.00009838504,0.2296386,0.0009197496,0.00005261317,0.00001495306,0.00000227448,0.00001067608,0.00004286622],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6417568,"threshold_uncertainty_score":0.7397217,"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."}}