{"id":"W1126727304","doi":"10.1090/spmj/1359","title":"Tropical noetherity and Gröbner bases","year":2015,"lang":"en","type":"article","venue":"St Petersburg Mathematical Journal","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Gröbner basis; Basis (linear algebra); Ideal (ethics); Algebra over a field; Pure mathematics; Discrete mathematics; Combinatorics; Polynomial; Mathematical analysis; Geometry; 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":[],"consensus_categories":[],"category_scores_codex":[0.0003463003,0.0001156062,0.0001851827,0.00005947007,0.0001008425,0.0003273488,0.0003290912,0.0000400235,0.00004697476],"category_scores_gemma":[0.0001934279,0.00008288721,0.00006320119,0.00009871806,0.000082045,0.0004273878,0.0001801042,0.0002140315,0.00005127798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003583876,"about_ca_system_score_gemma":0.00007931505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001249233,"about_ca_topic_score_gemma":3.933401e-7,"domain_scores_codex":[0.9989017,0.00009430414,0.0002627703,0.0001719559,0.0003334906,0.0002357701],"domain_scores_gemma":[0.9991041,0.000152828,0.00007687516,0.0001628725,0.00007136385,0.0004320008],"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.00009105835,0.0006683674,0.001714011,0.0001020796,0.0001245677,0.0006453749,0.005549935,0.00006752541,0.0009611766,0.7364088,0.02309019,0.2305769],"study_design_scores_gemma":[0.001155968,0.0003349808,0.002891245,0.00007997663,0.00001853054,0.002938307,0.0001819967,0.05948945,0.0002324849,0.9276059,0.004755478,0.0003156563],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1702906,0.00007289527,0.8241852,0.003203289,0.0002782381,0.00005286854,9.379099e-7,0.00006615509,0.001849864],"genre_scores_gemma":[0.8902166,0.000007226352,0.1087073,0.0005024696,0.0003921938,0.000002965302,3.596248e-7,0.000009187311,0.0001617738],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.719926,"threshold_uncertainty_score":0.3380043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03276060357873099,"score_gpt":0.2613118432941369,"score_spread":0.2285512397154059,"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."}}