{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001176164,0.001140555,0.001052651,0.001471108,0.001144313,0.002547206,0.001828408,0.0008817944,0.0208222],"category_scores_gemma":[0.007007956,0.0005945601,0.001361794,0.00225197,0.0009409442,0.003416521,0.002514325,0.002296417,0.004583503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001618657,"about_ca_system_score_gemma":0.001981349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004809504,"about_ca_topic_score_gemma":0.013462,"domain_scores_codex":[0.9990194,0.0001864594,0.00008897221,0.0001911586,0.0002979379,0.0002160293],"domain_scores_gemma":[0.9965436,0.001694864,0.0001484658,0.0007130929,0.0007151264,0.0001848307],"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.0007883709,0.0003347055,0.001744995,0.0005125328,0.0001030859,0.0001437496,0.0004697075,0.1004987,0.008123822,0.2030679,0.02359539,0.6606171],"study_design_scores_gemma":[0.000178185,0.0001157784,0.0002821086,0.00005874293,0.00005930119,0.00008681238,0.0002479489,0.6724374,0.006651343,0.3117379,0.008111553,0.00003285954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02378737,0.00022505,0.9619853,0.0002041063,0.0001129711,0.0001655709,0.0003703405,0.002704181,0.0104451],"genre_scores_gemma":[0.2375579,0.0002801594,0.7521344,0.0001483832,0.00007726673,0.0002521841,0.00218866,0.0005793977,0.006781696],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0208222,"threshold_uncertainty_score":0.06965721,"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."}}