{"id":"W2167856990","doi":"10.1145/2608628.2608666","title":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains","year":2014,"lang":"en","type":"article","venue":"","topic":"Cancer Treatment and Pharmacology","field":"Medicine","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"National Natural Science Foundation of China","keywords":"Quantifier elimination; Decomposition; Algebraic number; Quantifier (linguistics); Mathematics; Algebra over a field; Computer science; Discrete mathematics; Pure mathematics; Artificial intelligence; Mathematical analysis; Chemistry","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001091044,0.00008983512,0.0001327482,0.00007723804,0.00004737514,0.000006971627,0.00002702008,0.00007344824,0.0009762564],"category_scores_gemma":[0.00001558895,0.00007191984,0.00005648388,0.00008311556,0.00002426978,0.00002434412,0.000004598075,0.00007490902,0.0001237379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008155175,"about_ca_system_score_gemma":0.0000204849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001853947,"about_ca_topic_score_gemma":0.000007055141,"domain_scores_codex":[0.9993789,0.00005254713,0.0001131124,0.0001814684,0.0001445255,0.000129442],"domain_scores_gemma":[0.9996274,0.00009236649,0.00002983086,0.0001295827,0.00003636313,0.00008441588],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.003981971,0.006046383,0.008074336,0.0001550868,0.0002343756,0.00004639315,0.0002618659,0.0001977531,0.3827773,0.04193217,0.4079068,0.1483855],"study_design_scores_gemma":[0.01740497,0.007396829,0.05982725,0.00009991122,0.0005697146,0.00002987838,0.00002735733,0.3803543,0.3964644,0.0005200498,0.1368246,0.0004806627],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8607994,0.00007211538,0.03736477,0.04228292,0.0005257149,0.0006481246,0.000009578293,0.0002124793,0.05808491],"genre_scores_gemma":[0.9890981,0.000006821229,0.0004937698,0.005282526,0.0001597335,0.00002596502,0.0002844332,0.00001161001,0.004636999],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3801565,"threshold_uncertainty_score":0.999937,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01181799080922886,"score_gpt":0.3242395777388102,"score_spread":0.3124215869295813,"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."}}