{"id":"W2198515109","doi":"10.1007/978-3-319-24021-3_9","title":"Simplification of Cylindrical Algebraic Formulas","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Heuristic; Algebraic number; Transformation (genetics); Computer science; Set (abstract data type); Algebra over a field; Decomposition; Algorithm; Mathematics; Artificial intelligence; Pure mathematics; Mathematical analysis; Programming language","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.0004556489,0.0007240832,0.0009611666,0.001255615,0.001100548,0.00181129,0.001142766,0.0003894613,0.01085036],"category_scores_gemma":[0.001932373,0.0005206508,0.001205533,0.001834407,0.001874913,0.003463401,0.001812046,0.002392277,0.003080589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001246804,"about_ca_system_score_gemma":0.0005292781,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001414982,"about_ca_topic_score_gemma":0.00150836,"domain_scores_codex":[0.9993368,0.0001293075,0.0000365971,0.00008257845,0.0003285604,0.00008617309],"domain_scores_gemma":[0.9995839,0.0001581866,0.00002596507,0.0001169244,0.00009238873,0.00002271066],"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.00004017646,0.00001324407,0.00006616086,0.0001363304,0.00001242893,0.00009120722,0.0003259821,0.001658688,0.002542229,0.9334024,0.008512835,0.05319832],"study_design_scores_gemma":[0.00002034803,0.00002579953,0.0002748603,0.00004853253,0.00002638527,0.0002285303,0.000106727,0.006489467,0.004674974,0.8875145,0.1005687,0.00002104307],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.07165089,0.005735253,0.4126221,0.001478533,0.0009501652,0.0001589311,0.0009493563,0.001502486,0.5049523],"genre_scores_gemma":[0.7184849,0.00741299,0.1461599,0.0005162538,0.0008683259,0.0001639613,0.003178491,0.001315599,0.1218995],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01085036,"threshold_uncertainty_score":0.0362981,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02759925014916455,"score_gpt":0.2626467179261751,"score_spread":0.2350474677770105,"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."}}