{"id":"W1559507803","doi":"10.1109/mwscas.1992.271308","title":"Implementation considerations in the Polynomial Ring Engine","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Prime (order theory); Polynomial; Ring (chemistry); Moduli; Polynomial ring; Product (mathematics); Computer science; Range (aeronautics); Windsor; Coprime integers; Algebra over a field; Mathematics; Algorithm; Applied mathematics; Pure mathematics; Engineering; Combinatorics; Mathematical analysis; Geometry","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.0007397584,0.00003602479,0.00003111174,0.00004918019,0.00006815341,0.00008799462,0.0001426765,0.00001266317,0.00004635901],"category_scores_gemma":[0.00009269834,0.00002660683,0.00001089766,0.0001783917,0.000008946868,0.0003341204,0.00001296886,0.00004987974,0.00001499537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002107216,"about_ca_system_score_gemma":0.00003041939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004850777,"about_ca_topic_score_gemma":0.00007211899,"domain_scores_codex":[0.9994396,0.0001572645,0.0001286956,0.00009430556,0.00008660245,0.00009353377],"domain_scores_gemma":[0.9996445,0.00009617217,0.00002414679,0.0002133685,0.00001093836,0.00001084201],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[1.539681e-7,0.00001059422,0.001000436,6.331226e-7,9.672377e-7,7.212616e-7,0.001253058,0.00008095335,0.0004039159,0.9903805,0.0003449242,0.006523182],"study_design_scores_gemma":[0.003512525,0.0002884752,0.235761,0.00001537676,0.00001613028,0.0003320842,0.007932344,0.2361108,0.3565101,0.1175047,0.041019,0.0009974962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02721645,0.00001300662,0.9544809,0.0006117793,0.0001814031,0.000148331,1.843679e-7,0.000038329,0.01730962],"genre_scores_gemma":[0.5754811,7.167142e-7,0.424174,0.0003088484,0.000008213205,0.00001339429,2.931017e-7,8.960642e-7,0.00001261618],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8728758,"threshold_uncertainty_score":0.1084995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04390663681498485,"score_gpt":0.3433987217752375,"score_spread":0.2994920849602526,"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."}}