{"id":"W2159212455","doi":"10.1016/j.jsc.2009.09.004","title":"Computing differential characteristic sets by change of ordering","year":2009,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Prime (order theory); Ideal (ethics); Set (abstract data type); Differential (mechanical device); Ranking (information retrieval); Prime ideal; Software; Algorithm; Discrete mathematics; Algebra over a field; Combinatorics; Pure mathematics; Computer science; Programming language; Artificial intelligence","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.0002302997,0.0001372336,0.0003373111,0.0002301704,0.00007222802,0.00008895458,0.0003828701,0.00004595422,0.000003420518],"category_scores_gemma":[0.00003123891,0.0001269881,0.0001101047,0.0003167444,0.00001978173,0.0005428861,0.00004870538,0.0001542145,0.000002361407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000442102,"about_ca_system_score_gemma":0.00005090365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001015067,"about_ca_topic_score_gemma":3.027681e-7,"domain_scores_codex":[0.9985552,0.00007021384,0.00067572,0.0001504782,0.000358159,0.0001901946],"domain_scores_gemma":[0.9986305,0.00009597625,0.000850804,0.0001028845,0.0002237824,0.00009607062],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000213883,0.0001795043,0.0002163148,0.00002679273,0.00002771527,0.00001078063,0.002485592,0.0006968837,0.01721721,0.001220459,0.0002812881,0.9776161],"study_design_scores_gemma":[0.001597098,0.0009074832,0.4075631,0.0003175061,0.00003770574,0.0001939453,0.00004846892,0.5766801,0.003481498,0.00868301,0.000140937,0.0003491189],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5290903,0.00009403274,0.4697827,0.0004881507,0.0004205893,0.0000603187,0.000001127181,0.00002179335,0.00004099297],"genre_scores_gemma":[0.9930903,0.0000136126,0.006412782,0.0001673825,0.0003025999,3.606112e-7,0.000005113058,0.000004596284,0.000003223921],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.977267,"threshold_uncertainty_score":0.5178423,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01833505952676392,"score_gpt":0.2645680777233865,"score_spread":0.2462330181966225,"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."}}