{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007376648,0.0004797342,0.000996988,0.001391875,0.0009279887,0.001717488,0.00080551,0.0003920494,0.005368328],"category_scores_gemma":[0.002240684,0.0003881506,0.001454935,0.001036867,0.001635134,0.002258209,0.001880375,0.001343357,0.0009058689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006407941,"about_ca_system_score_gemma":0.001082152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002139821,"about_ca_topic_score_gemma":0.003481128,"domain_scores_codex":[0.9992893,0.0001315777,0.00004999308,0.0001329715,0.0002496407,0.0001464184],"domain_scores_gemma":[0.999195,0.0003418348,0.00006391347,0.0001513844,0.0001873535,0.00006041392],"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.0001792733,0.00006611803,0.0004625034,0.000126036,0.00004368123,0.0002021487,0.0002334395,0.02030436,0.009521156,0.9119844,0.002115024,0.05476188],"study_design_scores_gemma":[0.00004016226,0.00005966744,0.0002065891,0.00003900769,0.00005026333,0.0001286742,0.00006718894,0.1516401,0.005491151,0.8357248,0.006513057,0.00003928282],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05631387,0.0002028649,0.930665,0.0002155309,0.00009423314,0.00007693637,0.0001886367,0.000716798,0.01152616],"genre_scores_gemma":[0.5624487,0.0003232732,0.4258581,0.0001884201,0.0001141717,0.0001009329,0.0005555999,0.0003996131,0.01001109],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005368328,"threshold_uncertainty_score":0.01795882,"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."}}