{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008511275,0.0004932203,0.0009520702,0.002591008,0.001055432,0.00343878,0.001222095,0.0004568131,0.006008788],"category_scores_gemma":[0.00508077,0.0005616854,0.0008778032,0.002727879,0.002944198,0.007323094,0.002778724,0.001742677,0.0008937287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001778334,"about_ca_system_score_gemma":0.0009011261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002105211,"about_ca_topic_score_gemma":0.003221806,"domain_scores_codex":[0.9989828,0.0001172755,0.00007223785,0.0002379693,0.0003787144,0.0002109355],"domain_scores_gemma":[0.9973627,0.001154138,0.0001858513,0.0007115037,0.0003733493,0.0002125001],"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.000525464,0.0001583767,0.008671269,0.0001683662,0.00004745793,0.0002825695,0.001000581,0.01693381,0.008544877,0.795216,0.004028942,0.1644222],"study_design_scores_gemma":[0.00004045386,0.00005387615,0.0008602937,0.00001896411,0.00003692718,0.0001265356,0.0002057395,0.03365973,0.006362515,0.9532739,0.005328853,0.00003232721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4863541,0.0004564078,0.4854783,0.0006376748,0.0002108041,0.00008571687,0.0004789537,0.001709285,0.02458872],"genre_scores_gemma":[0.8982233,0.0002183553,0.09543778,0.0001075196,0.00008286775,0.00002661099,0.0005135089,0.0002872407,0.005102859],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006008788,"threshold_uncertainty_score":0.02010137,"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."}}