{"id":"W1797874232","doi":"10.1007/978-3-319-08434-3_5","title":"Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Engineering and Physical Sciences Research Council; Chongqing Science and Technology Commission; National Natural Science Foundation of China","keywords":"CAD; Computer science; Heuristics; Invariant (physics); Decomposition; Algebraic number; Algorithm; Theoretical computer science; Algebra over a field; Mathematical optimization; Mathematics; Engineering drawing; Pure mathematics","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.001038969,0.0007724325,0.001379674,0.0006922672,0.0006877856,0.00225094,0.001897377,0.001499492,0.02051006],"category_scores_gemma":[0.00462695,0.0005323787,0.001353322,0.001043295,0.0009729832,0.003293116,0.001827218,0.001901707,0.00191252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009214565,"about_ca_system_score_gemma":0.001646909,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00377676,"about_ca_topic_score_gemma":0.004305939,"domain_scores_codex":[0.9990999,0.000182143,0.00003953413,0.0003132346,0.0002108412,0.0001544145],"domain_scores_gemma":[0.9986829,0.0007862803,0.00007155733,0.0001553666,0.0002404601,0.00006333319],"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.0003120468,0.0002285972,0.0008776011,0.001008605,0.00006913049,0.0004056272,0.0003407811,0.3431629,0.006166833,0.3888335,0.03791474,0.2206797],"study_design_scores_gemma":[0.00003790193,0.00004911778,0.0001009306,0.00003768247,0.00002075919,0.00008790445,0.000156004,0.8399045,0.001010494,0.1550297,0.003548457,0.00001645864],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01059146,0.0002161911,0.9803569,0.0005603113,0.00008993187,0.0001301986,0.0005277151,0.0003301243,0.007197288],"genre_scores_gemma":[0.3153491,0.0005122128,0.6684885,0.000302012,0.0002238539,0.0003932917,0.002226265,0.0003647893,0.01213994],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02051006,"threshold_uncertainty_score":0.06861293,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01117562592102296,"score_gpt":0.2518775313712258,"score_spread":0.2407019054502028,"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."}}