{"id":"W2128486174","doi":"10.1145/1993886.1993904","title":"Algorithms for computing triangular decompositions of polynomial systems","year":2011,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Modulo; Polynomial; Computer science; Key (lock); Computation; Algorithm; Feature (linguistics); Maple; Theoretical computer science; Mathematics; Discrete 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008923511,0.0007821222,0.0006829981,0.001153095,0.0005269648,0.001485116,0.001582056,0.0006064952,0.01215177],"category_scores_gemma":[0.004585126,0.0004513894,0.000994547,0.001680064,0.0006464414,0.003170298,0.002142569,0.001755121,0.003952153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007720399,"about_ca_system_score_gemma":0.0009810503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001348654,"about_ca_topic_score_gemma":0.003711133,"domain_scores_codex":[0.9990171,0.0001486202,0.0000894888,0.0001842652,0.0004129594,0.0001475701],"domain_scores_gemma":[0.9982729,0.0004566957,0.0001038252,0.0005886302,0.0004785795,0.00009934556],"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.0002761126,0.0001917381,0.001293934,0.0004113792,0.00007854656,0.0001564152,0.000243195,0.09218825,0.01293038,0.1850686,0.01702917,0.6901323],"study_design_scores_gemma":[0.00009386172,0.00009161914,0.0002109574,0.00003582581,0.00003179696,0.0001717918,0.00007704907,0.7974569,0.0116758,0.1764522,0.01367183,0.00003030317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004149775,0.00006800833,0.9921708,0.00005875855,0.00003849021,0.00004715582,0.0001149611,0.00123152,0.002120418],"genre_scores_gemma":[0.08377961,0.000191548,0.9119078,0.00005571913,0.00005449701,0.0001295561,0.001005444,0.0002913458,0.002584561],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01215177,"threshold_uncertainty_score":0.04065174,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04753445832422861,"score_gpt":0.2682049483949384,"score_spread":0.2206704900707098,"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."}}