{"id":"W2021153515","doi":"10.1145/1993886.1993903","title":"Computing with semi-algebraic sets represented by triangular decomposition","year":2011,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Decomposition; Algebraic number; Continuation; Computer science; Theoretical computer science; Algebra over a field; Algorithm; Mathematics; 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.0006838448,0.0004641279,0.0009724901,0.001078085,0.0008624109,0.002790176,0.001426757,0.0005222218,0.007562529],"category_scores_gemma":[0.003812838,0.0003274797,0.001110031,0.002422658,0.001222705,0.005439327,0.002223456,0.001330838,0.001623239],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009823345,"about_ca_system_score_gemma":0.0008146394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001780188,"about_ca_topic_score_gemma":0.004179109,"domain_scores_codex":[0.9989318,0.0001925785,0.00009061782,0.0002134935,0.0003731381,0.0001984405],"domain_scores_gemma":[0.9982265,0.0005572174,0.0001185163,0.0006742717,0.000323044,0.0001004903],"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.0004476071,0.0001227145,0.001113648,0.0002689046,0.00006708017,0.0001923583,0.0005919609,0.09060065,0.009053345,0.6987039,0.008506842,0.190331],"study_design_scores_gemma":[0.00003397101,0.00006235224,0.0001413613,0.00003001375,0.00002311188,0.00008923356,0.000195297,0.3947415,0.007804891,0.5899014,0.006951154,0.00002567479],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05725285,0.0001030351,0.9314772,0.0002226387,0.00006605841,0.00006812199,0.0004265117,0.00146029,0.008923378],"genre_scores_gemma":[0.4747186,0.0001809459,0.5191261,0.0001195702,0.00007309939,0.0001085657,0.001634797,0.0001858081,0.003852541],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007562529,"threshold_uncertainty_score":0.02529913,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01524414031337381,"score_gpt":0.2419198408312228,"score_spread":0.226675700517849,"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."}}