{"id":"W2743075180","doi":"10.1145/3115936.3115948","title":"An Algorithm For Spliting Polynomial Systems Based On F4","year":2017,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Univariate; Zero (linguistics); Algorithm; Polynomial; Computer science; Decomposition; Variable (mathematics); Mathematics; Position (finance); Discrete mathematics; Multivariate statistics; Machine learning","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.000526178,0.001117097,0.0007129408,0.001556552,0.0007865165,0.001166873,0.00131199,0.0006033508,0.0224747],"category_scores_gemma":[0.001301922,0.0004530615,0.001177832,0.001048009,0.0007114832,0.001756269,0.002639917,0.001525918,0.00730258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001120952,"about_ca_system_score_gemma":0.001417442,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0021262,"about_ca_topic_score_gemma":0.003330424,"domain_scores_codex":[0.9993417,0.00006834083,0.00004891058,0.0001682393,0.0002064226,0.0001663565],"domain_scores_gemma":[0.9994468,0.0001217186,0.0000290146,0.0002023298,0.0001621716,0.00003791583],"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.000511162,0.0002260215,0.001345704,0.0003774821,0.00007291394,0.0001941283,0.0003625006,0.02078871,0.03514093,0.06443387,0.03234399,0.8442025],"study_design_scores_gemma":[0.0004823936,0.0004420639,0.001320099,0.0001239581,0.0001416411,0.0007595412,0.0004636779,0.4418216,0.1401275,0.2988002,0.1153733,0.0001440428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01918857,0.000186569,0.9581723,0.0002119399,0.00008321521,0.0002341502,0.0005888202,0.01069738,0.01063707],"genre_scores_gemma":[0.1329797,0.00008412903,0.85509,0.0001343166,0.00003445264,0.0001943789,0.002731696,0.001239774,0.007511676],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0224747,"threshold_uncertainty_score":0.07518536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02229085277035455,"score_gpt":0.2814199183555777,"score_spread":0.2591290655852232,"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."}}