{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008236651,0.000387993,0.0005177432,0.0007488877,0.0001091002,0.0001851953,0.002649601,0.0002749708,0.00001084976],"category_scores_gemma":[0.000127143,0.0003527834,0.0001330268,0.0006743546,0.0004591914,0.0005866592,0.001019317,0.0004748988,0.00005264823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000294466,"about_ca_system_score_gemma":0.0008429397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001918232,"about_ca_topic_score_gemma":0.00002262236,"domain_scores_codex":[0.9966784,0.00002934562,0.0006724519,0.001083939,0.001068135,0.0004676968],"domain_scores_gemma":[0.9975191,0.0003537691,0.0004258328,0.001089287,0.0004032752,0.0002087146],"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.000006015969,0.00003298614,0.00001633708,0.0000279755,0.000007628198,0.00001245041,0.000472384,0.01741129,0.0002211966,0.1076576,0.00005117687,0.874083],"study_design_scores_gemma":[0.0002491655,0.0001757095,0.00018275,0.0001310273,0.000006075422,0.00003218262,7.295516e-8,0.4761257,0.001509035,0.5199157,0.001293421,0.0003791349],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003809928,0.0003809873,0.9936176,0.000667699,0.001151987,0.000297766,0.000004142355,0.0001181418,0.003380685],"genre_scores_gemma":[0.7700372,0.00001753114,0.2286626,0.0004777614,0.0004847968,0.000006783567,0.00001283045,0.00002936167,0.0002711062],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8737038,"threshold_uncertainty_score":0.9998924,"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."}}