{"id":"W1875131895","doi":"10.1016/j.jsc.2011.08.010","title":"When does <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" display=\"inline\" overflow=\"scroll\"><mml:mrow><mml:mo>〈</mml:mo><mml:mi>T</mml:mi><mml:mo>〉</mml:mo></mml:mrow></mml:math> equal <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si2.gif\" display=\"inline\" overflow=\"scroll\"><mml:mstyle mathvariant=\"normal\"><mml:mi>sat</mml:mi></mml:mstyle><mml:mrow><mml:mo>(</mml:mo><mml:mi>T</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math>?","year":2011,"lang":"lv","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Ideal (ethics); Mathematics; Algorithm; Gröbner basis; Univariate; Discrete mathematics; Multivariate statistics; Statistics; Law","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.002002561,0.001034109,0.001372333,0.001538396,0.002209108,0.007600573,0.00171947,0.002967417,0.3506231],"category_scores_gemma":[0.01080292,0.001207445,0.001486954,0.001117361,0.001685132,0.01564517,0.003168802,0.002068388,0.3153854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002582859,"about_ca_system_score_gemma":0.001615504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01261096,"about_ca_topic_score_gemma":0.01785676,"domain_scores_codex":[0.9975544,0.0003696109,0.0001936705,0.0005409173,0.0007787144,0.0005626882],"domain_scores_gemma":[0.9963549,0.0006833553,0.0001573692,0.0009797778,0.001332434,0.000492203],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005506465,0.0001391238,0.001927482,0.0004243335,0.00004405338,0.0003197891,0.001044349,0.000454963,0.002779876,0.05485232,0.8747754,0.06268772],"study_design_scores_gemma":[0.00006704244,0.00003213242,0.001160305,0.0001309017,0.00002545688,0.0001605093,0.0007124628,0.001025464,0.009151398,0.01538228,0.9720705,0.00008156516],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01258335,0.0006926587,0.08716799,0.02344466,0.006619151,0.0006087566,0.03216619,0.1067256,0.7299916],"genre_scores_gemma":[0.1763125,0.001885732,0.06196165,0.009103674,0.002259041,0.000642101,0.05411609,0.1001957,0.5935235],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.6493769,"threshold_uncertainty_score":0.9262573,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01867585930723063,"score_gpt":0.2402004237070419,"score_spread":0.2215245643998112,"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."}}