{"id":"W7144927423","doi":"","title":"疎な多変数多項式系の高速な変数消去法の探求 (Computer Algebra : Theory and its Applications)","year":2019,"lang":"ja","type":"article","venue":"Institutional Repositories DataBase (IRDB)","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"123 Certification (Canada)","funders":"","keywords":"Remainder; Polynomial; Algebra over a field; Basis (linear algebra); Ideal (ethics); Field (mathematics); Gröbner basis; Square-free polynomial","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008769237,0.00054666,0.0004697344,0.0002429296,0.0009291507,0.0008865525,0.001064411,0.0002163079,0.0001147739],"category_scores_gemma":[0.0001448715,0.0005446355,0.0001533721,0.0007549151,0.0003685552,0.002819096,0.001532839,0.0004933752,0.001195171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000227135,"about_ca_system_score_gemma":0.0008514739,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009226039,"about_ca_topic_score_gemma":0.000008567842,"domain_scores_codex":[0.9958931,0.000298268,0.0008093822,0.00147362,0.0008930587,0.0006326309],"domain_scores_gemma":[0.9968401,0.0008735117,0.000347189,0.001128327,0.0004012471,0.0004096727],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001148348,0.0002151855,0.0004054009,0.000272729,0.0001293428,0.00007809637,0.0004748696,0.0003906846,0.003137105,0.9684918,0.001126192,0.02516378],"study_design_scores_gemma":[0.004625205,0.0008330802,0.01515788,0.00195614,0.0003469865,0.002645971,0.0002160302,0.1804727,0.01770988,0.04151852,0.7305491,0.0039685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2687315,0.00979908,0.6957257,0.00154368,0.01417222,0.00230071,0.0007403919,0.0005889998,0.00639777],"genre_scores_gemma":[0.9819123,0.0002685918,0.01013622,0.0009311447,0.003936762,0.0001271475,0.0004103558,0.00003573821,0.002241788],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9269733,"threshold_uncertainty_score":0.9997005,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01055254937517714,"score_gpt":0.237854894190646,"score_spread":0.2273023448154689,"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."}}