{"id":"W1128846365","doi":"10.1515/math-2015-0028","title":"A signature-based algorithm for computingGröbner-Shirshov bases in skew solvablepolynomial rings","year":2015,"lang":"en","type":"article","venue":"Open Mathematics","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"Natural Sciences and Engineering Research Council of Canada; University of Manitoba","keywords":"Polynomial ring; Mathematics; Noncommutative geometry; Skew; Signature (topology); Polynomial; Matrix polynomial; Algebra over a field; Discrete mathematics; Pure mathematics; Computer science","routes":{"ca_aff":true,"ca_fund":true,"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.001473496,0.00066707,0.0008885975,0.001435273,0.0009534063,0.002253409,0.001698641,0.0009219957,0.004826446],"category_scores_gemma":[0.003329788,0.0003198561,0.0009005193,0.002539256,0.0008864892,0.004872029,0.002937882,0.001162964,0.001511387],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001228356,"about_ca_system_score_gemma":0.003092679,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009959452,"about_ca_topic_score_gemma":0.001170077,"domain_scores_codex":[0.9985248,0.000268611,0.0002172948,0.0003038596,0.000443888,0.0002415578],"domain_scores_gemma":[0.9984773,0.0003559579,0.0001067858,0.0004570592,0.0004863706,0.0001165863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009481653,0.0004108447,0.003070282,0.0003026621,0.0001045405,0.0001840874,0.000565882,0.02817698,0.03220259,0.3028873,0.009503943,0.6216428],"study_design_scores_gemma":[0.0003813781,0.0003587964,0.0009681769,0.00007004965,0.00008138045,0.000404674,0.0004722463,0.4327578,0.06662195,0.4764791,0.02129449,0.0001099731],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07950331,0.0002689668,0.9104253,0.0003988414,0.0001361354,0.000217198,0.0003047189,0.003687521,0.005057978],"genre_scores_gemma":[0.3186037,0.0002076111,0.6758093,0.0001407825,0.00007249475,0.0001781921,0.001212408,0.0002652156,0.003510451],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004826446,"threshold_uncertainty_score":0.01614612,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05302295231552825,"score_gpt":0.2992289198966046,"score_spread":0.2462059675810764,"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."}}