{"id":"W1536271794","doi":"10.1007/978-3-540-75187-8_7","title":"Comprehensive Triangular Decomposition","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":94,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Disjoint sets; Computer science; Polynomial; Parametric statistics; Discrete mathematics; Theoretical computer science; Algorithm; 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.0002766375,0.0005901497,0.0005598638,0.0009798757,0.0008715691,0.001717123,0.0006852686,0.0004151308,0.05253354],"category_scores_gemma":[0.0006376548,0.000332351,0.0005411506,0.001129966,0.0009639325,0.001779239,0.001183329,0.001937587,0.01762243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007141427,"about_ca_system_score_gemma":0.0005890636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000790639,"about_ca_topic_score_gemma":0.00193916,"domain_scores_codex":[0.9997184,0.00003149776,0.00001069207,0.00005595613,0.0001453885,0.00003806411],"domain_scores_gemma":[0.9997905,0.00002692365,0.00001009466,0.00006584927,0.00008060077,0.00002601955],"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.00002211674,0.00002326287,0.00006324312,0.00008290586,0.000007908546,0.00004268385,0.0001191497,0.001608297,0.002104313,0.8370064,0.05215909,0.1067606],"study_design_scores_gemma":[0.000008705696,0.00001788618,0.0001476548,0.00003523229,0.0000110991,0.0001425018,0.00007142645,0.005951086,0.001558648,0.8254603,0.1665835,0.00001200043],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.009523802,0.001717296,0.2627122,0.0008165624,0.0009226887,0.00008890479,0.0008335715,0.0009103585,0.7224746],"genre_scores_gemma":[0.2222358,0.002889977,0.1791968,0.0008179305,0.001048486,0.0001821116,0.003801398,0.001296633,0.5885308],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.05253354,"threshold_uncertainty_score":0.1757422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02234074093905147,"score_gpt":0.2754742945676292,"score_spread":0.2531335536285777,"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."}}