{"id":"W1482222746","doi":"10.1007/978-3-662-43799-5_17","title":"An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions","year":2014,"lang":"en","type":"book-chapter","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Tree (set theory); Maple; Algorithm; Algebraic number; Refining (metallurgy); Polynomial; Mathematics; Constraint (computer-aided design); Computer science; Algebra over a field; Pure mathematics; Geometry; Combinatorics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005157455,0.001314728,0.001121039,0.001589509,0.000983187,0.002234317,0.002435461,0.0006985588,0.01763089],"category_scores_gemma":[0.002831556,0.0006541387,0.001325528,0.002506512,0.0009239498,0.003884997,0.002845927,0.002287049,0.006980564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001019692,"about_ca_system_score_gemma":0.001273221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002491717,"about_ca_topic_score_gemma":0.004472644,"domain_scores_codex":[0.999341,0.00007546175,0.00004610048,0.000148753,0.0002986364,0.00009006877],"domain_scores_gemma":[0.9991282,0.0002159475,0.00002848997,0.0002772996,0.0002987759,0.00005126215],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002186386,0.00009624874,0.000323558,0.0003316983,0.00003573717,0.00007943123,0.000193636,0.01529619,0.01232094,0.1849974,0.02979581,0.7563108],"study_design_scores_gemma":[0.0001714645,0.0001471681,0.0006048993,0.0001246938,0.0001032953,0.0004528508,0.0002629735,0.3978181,0.02317906,0.4772431,0.09980526,0.00008707157],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005742392,0.0002693246,0.9769496,0.0001087241,0.0001540639,0.0001161043,0.0002933831,0.003759148,0.01260727],"genre_scores_gemma":[0.0470752,0.0002487501,0.9432813,0.00006787082,0.00006495423,0.0001420699,0.001258927,0.0006829588,0.007177925],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01763089,"threshold_uncertainty_score":0.05898124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0160404516258418,"score_gpt":0.2609907047869749,"score_spread":0.2449502531611331,"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."}}