{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000271745,0.0003950879,0.0004268684,0.0002261588,0.0003562567,0.0003064309,0.001055039,0.0002467291,0.00007596514],"category_scores_gemma":[0.000005526652,0.0003897893,0.0002597278,0.00005029775,0.00006386195,0.0002463292,0.0003279216,0.0002559871,0.000156958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001137434,"about_ca_system_score_gemma":0.0001096504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001679612,"about_ca_topic_score_gemma":0.00001129555,"domain_scores_codex":[0.9979367,0.00003145539,0.0005177034,0.0008054572,0.0003275185,0.0003811527],"domain_scores_gemma":[0.9985567,0.0002709328,0.0002377081,0.0005518528,0.0001282184,0.0002546062],"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.000001383458,0.00002297389,3.366453e-7,0.000006600891,0.00002743574,0.000002663294,0.00003513153,0.0000345883,0.00002898858,0.4757711,0.0009352877,0.5231335],"study_design_scores_gemma":[0.0005370991,0.0003930183,0.00002563675,0.00005687353,0.00003191625,0.00004674599,0.000002320988,0.8655251,0.0001512965,0.1010978,0.03152352,0.000608623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002785697,0.00004887919,0.9283009,0.0003204708,0.0006962385,0.0004399552,0.00002572834,0.0004415351,0.06969846],"genre_scores_gemma":[0.0157721,0.000005923906,0.9350706,0.002058402,0.001865806,0.00002154415,0.0004885756,0.00008164495,0.04463544],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8654906,"threshold_uncertainty_score":0.9998554,"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."}}