{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002764575,0.000102282,0.0001190671,0.00005561482,0.0005404275,0.0009153261,0.0009086361,0.0000398215,0.00000341429],"category_scores_gemma":[0.00003089616,0.00008751411,0.00005589544,0.0000287158,0.00002208719,0.0005122553,0.00006716436,0.00004674665,0.00002220085],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002970782,"about_ca_system_score_gemma":0.00007641354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002184482,"about_ca_topic_score_gemma":0.000004957518,"domain_scores_codex":[0.9991255,0.00002520156,0.0001516619,0.0003232061,0.000143524,0.0002309134],"domain_scores_gemma":[0.9989477,0.0001027904,0.0001238314,0.0006739801,0.00004692241,0.0001047329],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007764764,0.00006622009,0.00006249487,0.00001006673,0.000005259702,0.000003818158,0.00005274043,0.001475841,0.0003351341,0.0245395,0.001270907,0.9721702],"study_design_scores_gemma":[0.0005171463,0.0001816614,0.00120293,0.0000158442,0.000001901792,0.000001814166,0.000007848874,0.9947552,0.001017952,0.0003579959,0.001807313,0.0001323953],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007564463,0.000004798781,0.9868162,0.0006159278,0.001235524,0.0002278669,0.000006456095,0.0001673755,0.003361361],"genre_scores_gemma":[0.8938698,1.13309e-7,0.1047677,0.000306162,0.0006483278,0.00002505539,0.000004671956,0.000007178332,0.0003709417],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9932793,"threshold_uncertainty_score":0.882651,"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."}}