{"id":"W1606016218","doi":"10.1007/978-3-540-72586-2_38","title":"Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Maple; Computation; Parallel computing; Algorithm; Theoretical computer science; Computational science","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.0007567908,0.001019496,0.001252425,0.001467442,0.001622108,0.002983025,0.00215849,0.0006087784,0.04668291],"category_scores_gemma":[0.002353889,0.0007338707,0.001389562,0.002708503,0.0009700842,0.004675767,0.00241457,0.001774637,0.01461094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001160856,"about_ca_system_score_gemma":0.001222388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001719621,"about_ca_topic_score_gemma":0.005829376,"domain_scores_codex":[0.9991038,0.0001740105,0.00005114118,0.0001426345,0.0003540313,0.0001744147],"domain_scores_gemma":[0.9990345,0.0002761083,0.00004731415,0.0003524488,0.0002097378,0.00007993928],"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.0005124768,0.0002359387,0.0006503979,0.0005296949,0.0000690997,0.0002001759,0.000432538,0.01778565,0.009327182,0.4651628,0.06786403,0.43723],"study_design_scores_gemma":[0.0001265531,0.00009643486,0.0002214068,0.00009419053,0.00004564946,0.0001566414,0.0001759917,0.1032418,0.01920547,0.8274521,0.0491295,0.00005436922],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05152256,0.0005413835,0.8382108,0.0003908183,0.0002934629,0.0002211122,0.001732974,0.01001219,0.0970747],"genre_scores_gemma":[0.3739045,0.0006156801,0.5611076,0.0002766183,0.0002632181,0.0003083605,0.005586676,0.003189998,0.05474746],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04668291,"threshold_uncertainty_score":0.15617,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01331448129984694,"score_gpt":0.2367311237422309,"score_spread":0.2234166424423839,"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."}}