{"id":"W2150928761","doi":"10.1016/j.jsc.2011.12.014","title":"Triangular decomposition of semi-algebraic systems","year":2011,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":57,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Decomposition; Mathematics; Algebraic number; Polynomial; Exponential function; Algebra over a field; Triangular matrix; Discrete mathematics; Algorithm; Pure mathematics; Mathematical analysis","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.0004666418,0.0003613718,0.0006089674,0.0009418807,0.0007743724,0.002042187,0.0006443509,0.0004381671,0.0190213],"category_scores_gemma":[0.001283826,0.0002231732,0.0005811781,0.0006489241,0.001347064,0.001531309,0.0008944998,0.001185874,0.001728052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008937343,"about_ca_system_score_gemma":0.0007656198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002272793,"about_ca_topic_score_gemma":0.003165529,"domain_scores_codex":[0.9995936,0.00006568372,0.00002860826,0.00006339118,0.0001446231,0.0001041262],"domain_scores_gemma":[0.9991964,0.0001874948,0.00007864276,0.0001122168,0.0003070596,0.000118317],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005078852,0.00002885823,0.0001595533,0.00003191124,0.000008176863,0.00005099552,0.0002174515,0.005029409,0.001715395,0.9822308,0.001718554,0.008758005],"study_design_scores_gemma":[0.00001624839,0.00002489781,0.0001218841,0.00001087224,0.000006921216,0.00004430315,0.0001252035,0.06511495,0.0007685219,0.930144,0.003611812,0.00001024968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2575053,0.0004173087,0.6217909,0.0006208066,0.000318963,0.0001429526,0.0007536481,0.000475219,0.117975],"genre_scores_gemma":[0.9155173,0.0003118993,0.05270156,0.0001681862,0.0001546817,0.00009668534,0.0008181356,0.0001562019,0.03007533],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0190213,"threshold_uncertainty_score":0.06363261,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02228769174550693,"score_gpt":0.2552590522068215,"score_spread":0.2329713604613146,"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."}}