{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005917481,0.0002927696,0.0003662769,0.0006804885,0.0007382333,0.001843782,0.0004279873,0.0002988461,0.006582113],"category_scores_gemma":[0.001415043,0.0001733748,0.0004137681,0.0009546567,0.001308715,0.001855899,0.0008767867,0.001459855,0.002818017],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007877076,"about_ca_system_score_gemma":0.0008429254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001184254,"about_ca_topic_score_gemma":0.00102951,"domain_scores_codex":[0.9994042,0.0001364362,0.00002718532,0.0001430509,0.0002113895,0.00007780649],"domain_scores_gemma":[0.9996744,0.0001145296,0.00003585514,0.00006876147,0.00008462678,0.00002179569],"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.00009618326,0.00004794342,0.0009148748,0.0001898953,0.00002460802,0.00009663009,0.0002591866,0.009732507,0.008245827,0.8160493,0.01368249,0.1506605],"study_design_scores_gemma":[0.00001907857,0.000121164,0.001239479,0.00006471467,0.00002120232,0.0003495617,0.0002750335,0.1187501,0.01328951,0.8066017,0.05923035,0.00003812536],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05323375,0.003410637,0.865937,0.001765889,0.0003593137,0.0001115023,0.0004174229,0.0008132451,0.07395126],"genre_scores_gemma":[0.6674812,0.004201076,0.2811952,0.0006234499,0.000779786,0.0002144037,0.0009799562,0.0002329802,0.04429195],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006582113,"threshold_uncertainty_score":0.02201933,"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."}}