{"id":"W2053029682","doi":"10.1016/j.jsc.2011.12.023","title":"Algorithms for computing triangular decomposition of polynomial systems","year":2011,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":87,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Decomposition; Mathematics; Key (lock); Polynomial; Algorithm; Algebra over a field; Theoretical computer science; Computer science; Pure 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.0008052037,0.0001465356,0.000421632,0.0003880654,0.00009690859,0.00007402319,0.0004524991,0.00007082384,0.000001785177],"category_scores_gemma":[0.00004775037,0.0001361905,0.0002218545,0.0003282801,0.00003406153,0.0005407515,0.00006789419,0.0001125672,0.000002249455],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007167733,"about_ca_system_score_gemma":0.0001686813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005530153,"about_ca_topic_score_gemma":6.947022e-7,"domain_scores_codex":[0.9981551,0.0001150082,0.001024826,0.0001800183,0.0003193544,0.0002056667],"domain_scores_gemma":[0.9976875,0.0002405181,0.001271689,0.0001313943,0.0005615783,0.0001073023],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005236245,0.0009093516,0.0006567088,0.0003434093,0.0004587987,0.00004123055,0.02033043,0.05269599,0.01209702,0.02666225,0.00232471,0.8829565],"study_design_scores_gemma":[0.002964344,0.001107654,0.01117104,0.0002209595,0.00006971563,0.0003359243,0.000257618,0.9698001,0.006699424,0.006887114,0.000216344,0.0002697956],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2537214,0.0002128976,0.7442309,0.00006690303,0.001445781,0.0002109937,0.000002581127,0.00002770199,0.00008086641],"genre_scores_gemma":[0.8615516,0.000004557075,0.137942,0.00002987245,0.0004500864,0.000001998802,0.000003667142,0.000009783441,0.000006444523],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9171041,"threshold_uncertainty_score":0.5553689,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03919643090636567,"score_gpt":0.2941856011297759,"score_spread":0.2549891702234102,"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."}}