{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001851288,0.0001540083,0.0001602576,0.00008944287,0.0001462443,0.0001012161,0.0004884767,0.0000473234,0.0000528878],"category_scores_gemma":[0.00001019473,0.0001229151,0.00005000499,0.0003975083,0.00003602477,0.0004703679,0.0001744953,0.00009988816,0.00006693722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002961627,"about_ca_system_score_gemma":0.00003905706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002391748,"about_ca_topic_score_gemma":0.00001305922,"domain_scores_codex":[0.9987385,0.00007967945,0.0002380377,0.0004395563,0.000220937,0.0002833042],"domain_scores_gemma":[0.9992582,0.00006486927,0.0001115217,0.000377655,0.00006253528,0.0001252597],"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.0003937648,0.001588222,0.01035544,0.00008818557,0.0004423575,0.0003489623,0.01308808,0.0007029741,0.03263378,0.1740534,0.05072579,0.715579],"study_design_scores_gemma":[0.005084606,0.001134939,0.03197209,0.0001606225,0.00005086524,0.0004303656,0.0001977166,0.7808557,0.1462073,0.02951076,0.002804917,0.001590155],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2860398,0.00004295517,0.707365,0.0002769154,0.0001276791,0.0001419799,9.98318e-7,0.0003624866,0.005642242],"genre_scores_gemma":[0.9491214,0.000001300504,0.05010871,0.000441028,0.00003596106,0.000004002015,0.00001426,0.000009618924,0.0002637015],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7801527,"threshold_uncertainty_score":0.5012332,"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."}}