{"id":"W2129388296","doi":"10.1145/1113439.1113456","title":"The RegularChains library in MAPLE","year":2005,"lang":"en","type":"article","venue":"ACM SIGSAM Bulletin","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Modulo; Arithmetic; Combinatorics; Mathematics","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.0002266558,0.00008509202,0.00007578813,0.00005213709,0.000134247,0.0001647558,0.001409496,0.00003272067,0.00008930586],"category_scores_gemma":[0.0001396566,0.0000626288,0.00003949363,0.0002277485,0.00003971284,0.0001666947,0.0006850396,0.000123821,0.0004929919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001893929,"about_ca_system_score_gemma":0.00004322986,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002098376,"about_ca_topic_score_gemma":0.00002080674,"domain_scores_codex":[0.9991019,0.00007778548,0.0001811377,0.0002301928,0.0001466416,0.00026233],"domain_scores_gemma":[0.9988452,0.000443469,0.00004330571,0.0006038091,0.000008779552,0.00005546058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001150307,0.00005438525,0.0003480582,0.000002874152,0.00000518639,0.00001475745,0.0006066029,0.0003219177,0.0001550492,0.08989849,0.1614233,0.7471579],"study_design_scores_gemma":[0.0002301824,0.00002392011,0.005814968,0.000010329,4.256416e-7,0.000006386887,0.00001379351,0.006997231,0.0008710826,0.01506155,0.9708635,0.0001066163],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.1627506,0.0018087,0.02679712,0.7938651,0.0006803664,0.0004257747,0.000003434759,0.0006347229,0.01303416],"genre_scores_gemma":[0.9541111,0.00008311844,0.0360839,0.003670521,0.0003975696,0.0000256553,0.000004272003,0.00001290069,0.005610973],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8094402,"threshold_uncertainty_score":0.6336579,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008912965288456313,"score_gpt":0.2104626576110051,"score_spread":0.2015496923225488,"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."}}