{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","open_science","research_integrity","insufficient_payload"],"consensus_categories":["metaepi_narrow","sts","research_integrity","insufficient_payload"],"category_scores_codex":[0.006647705,0.003104241,0.001543635,0.002101039,0.004863644,0.005674715,0.006932596,0.005430877,0.02296552],"category_scores_gemma":[0.003291395,0.005000429,0.005497111,0.003398665,0.003557455,0.006754311,0.005998623,0.005590561,0.005481598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000141398,"about_ca_system_score_gemma":0.005172685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004728919,"about_ca_topic_score_gemma":0.001746229,"domain_scores_codex":[0.9727463,0.001544064,0.00698162,0.004882816,0.007662236,0.006183001],"domain_scores_gemma":[0.9781124,0.004217806,0.008978988,0.004075604,0.00107468,0.003540527],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004248302,0.00165147,0.00004234618,0.002383013,0.004328246,0.003591818,0.008416789,0.01330866,0.004582979,0.8801346,0.06571488,0.01159686],"study_design_scores_gemma":[0.005976296,0.005085438,0.000426459,0.003733905,0.003797125,0.007117456,0.003282056,0.6532532,0.3042639,0.004548877,0.004179708,0.004335549],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9187726,0.002604091,0.01467307,0.001709253,0.009399849,0.0002428735,0.0008946434,0.000884256,0.05081934],"genre_scores_gemma":[0.9689071,0.002232872,0.01131382,0.003822766,0.008136224,0.001428791,0.001921419,0.001855954,0.000381126],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8755857,"threshold_uncertainty_score":0.9991543,"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."}}