{"id":"W2112151791","doi":"10.1016/j.jsc.2012.05.013","title":"Computing with semi-algebraic sets: Relaxation techniques and effective boundaries","year":2012,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Algebraic number; Parametric statistics; Relaxation (psychology); Chen; Decomposition; Boundary (topology); Polynomial; Characterization (materials science); Algebraic properties; Real algebraic geometry; Algebra over a field; Discrete mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007346123,0.0001641835,0.0002693577,0.0002869462,0.0002727502,0.0003414175,0.000189172,0.00006023969,0.00000111979],"category_scores_gemma":[0.0000513895,0.0001303856,0.00005282607,0.0004002542,0.0001030385,0.001599349,0.0000973366,0.0002215361,0.000003120207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001027728,"about_ca_system_score_gemma":0.0001168136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001355513,"about_ca_topic_score_gemma":0.000001361089,"domain_scores_codex":[0.9986742,0.0001466792,0.0004299088,0.0001568066,0.0003476186,0.0002448079],"domain_scores_gemma":[0.9985315,0.0002830256,0.0006822628,0.00009772929,0.0002634994,0.0001420201],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00005955329,0.0001179546,0.006583911,0.00005672541,0.00008626527,0.00001663654,0.009907041,0.0008105604,0.0005879338,0.01704321,0.0003042777,0.9644259],"study_design_scores_gemma":[0.005870409,0.004359988,0.6424941,0.00157684,0.0002758327,0.01146576,0.001088465,0.2264162,0.01887162,0.07574323,0.01001051,0.001827056],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5106934,0.000356012,0.4879711,0.0003431522,0.0002691532,0.0001421104,3.371847e-7,0.00006585382,0.0001588122],"genre_scores_gemma":[0.9533857,0.00001151964,0.04610506,0.0001037602,0.000372742,0.00000252596,0.000002060636,0.00001061061,0.000006045273],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9625989,"threshold_uncertainty_score":0.531697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006640947570208393,"score_gpt":0.2459299822188724,"score_spread":0.239289034648664,"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."}}