{"id":"W2150489476","doi":"10.1145/1073884.1073901","title":"Lifting techniques for triangular decompositions","year":2005,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":110,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Computer science","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.0006159375,0.0006048569,0.0005763164,0.001133565,0.00114068,0.001458769,0.0008725052,0.0004441178,0.01877278],"category_scores_gemma":[0.002432333,0.0004332462,0.001369935,0.001405121,0.0009347345,0.002900927,0.003672301,0.002528965,0.005300276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004361734,"about_ca_system_score_gemma":0.000366117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005045913,"about_ca_topic_score_gemma":0.0008989392,"domain_scores_codex":[0.9992741,0.00009158543,0.00005634188,0.0001198395,0.0003097657,0.0001484108],"domain_scores_gemma":[0.9989229,0.000228453,0.00005540818,0.0005315238,0.0001719627,0.00008981482],"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.0001965369,0.0001392182,0.0004506606,0.0002969349,0.0000339364,0.0002707694,0.0008725174,0.004960143,0.02992852,0.5362214,0.01514557,0.4114837],"study_design_scores_gemma":[0.0001008787,0.0002202591,0.000491709,0.0001818708,0.00007495475,0.0007825728,0.0005404997,0.08365609,0.03199081,0.7797967,0.1020903,0.00007346064],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01348333,0.0002219165,0.9692116,0.0001846021,0.0002124403,0.00008183191,0.000129504,0.001054772,0.01541999],"genre_scores_gemma":[0.2142291,0.0010887,0.7619556,0.0002851091,0.0003973595,0.0002206568,0.0008430363,0.0007782121,0.02020225],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01877278,"threshold_uncertainty_score":0.06280118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01335517595313454,"score_gpt":0.2700733685058671,"score_spread":0.2567181925527325,"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."}}