{"id":"W1949239131","doi":"10.1016/j.jsc.2015.11.008","title":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains","year":2015,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Cancer Treatment and Pharmacology","field":"Medicine","cited_by":54,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"National Natural Science Foundation of China","keywords":"Quantifier elimination; Mathematics; Maple; Algebraic number; Decomposition; Tree (set theory); Algebra over a field; Quantifier (linguistics); Algorithm; Discrete mathematics; Combinatorics; Pure mathematics; Computer science; Mathematical analysis; Artificial intelligence","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.0003098859,0.00009885137,0.000233231,0.0002483987,0.0000369352,0.00001626983,0.0000386072,0.00007071532,0.00003165505],"category_scores_gemma":[0.00004056587,0.00008375417,0.00009600916,0.000175545,0.00002423769,0.00008828763,0.000005030664,0.000157772,0.0000164556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002840848,"about_ca_system_score_gemma":0.0001703109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006568188,"about_ca_topic_score_gemma":9.214281e-7,"domain_scores_codex":[0.998977,0.00008953016,0.0003389592,0.0001030932,0.0003813274,0.0001100659],"domain_scores_gemma":[0.9990577,0.00009106468,0.0002700154,0.00005790381,0.0003503274,0.0001730061],"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.01786125,0.01284751,0.01532235,0.000293839,0.001042529,0.000804635,0.006423521,0.07636541,0.1095394,0.003034906,0.3707628,0.3857019],"study_design_scores_gemma":[0.03875921,0.01821223,0.1281442,0.0005632039,0.00134726,0.001137082,0.0004106656,0.76218,0.03333377,0.002794324,0.01257105,0.0005469849],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9503353,0.0002233808,0.0382979,0.009486201,0.000613987,0.0002059175,0.000003483733,0.00002061285,0.0008132385],"genre_scores_gemma":[0.9972821,0.00001390038,0.001192404,0.000892517,0.0003921564,0.00000317186,0.00008059756,0.00001224323,0.0001309501],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6858146,"threshold_uncertainty_score":0.3415396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0341643223409559,"score_gpt":0.3701513871499987,"score_spread":0.3359870648090428,"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."}}