{"id":"W2008160486","doi":"10.1145/2110170.2110174","title":"Computing the real solutions of polynomial systems with the RegularChains library in Maple","year":2012,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Citation; China; Maple; Library science; Computer science; History; Archaeology; Botany; Biology","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":["open_science"],"consensus_categories":[],"category_scores_codex":[0.001121912,0.0001892044,0.0002593139,0.0002362643,0.0004291681,0.0001732214,0.006012977,0.00006650644,0.000001804954],"category_scores_gemma":[0.00002743767,0.0001218957,0.00006935661,0.001345568,0.0003812243,0.000835815,0.004629662,0.0004639223,0.000008793212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007025171,"about_ca_system_score_gemma":0.0001815588,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006373295,"about_ca_topic_score_gemma":0.0002178534,"domain_scores_codex":[0.9975963,0.0008285192,0.0005515283,0.0002508062,0.0002627216,0.0005101131],"domain_scores_gemma":[0.9942057,0.001807323,0.0002578065,0.003609336,0.00004844544,0.00007140415],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003882256,0.001038196,0.04492293,0.0000602802,0.0001232119,0.000005004995,0.03676382,0.01783403,0.0001164939,0.754491,0.008751751,0.1358545],"study_design_scores_gemma":[0.0008849404,0.0001028303,0.2060186,0.0001993256,0.00001471475,0.00005637389,0.0005652637,0.7834948,0.00005184648,0.003243449,0.004998822,0.0003689984],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3890051,0.00307477,0.5654485,0.03882701,0.0008170061,0.001218616,0.00001111681,0.000305393,0.001292489],"genre_scores_gemma":[0.9410139,0.00007447995,0.05831349,0.0003073201,0.0001924164,0.00004345162,0.0000150453,0.00001577195,0.00002410931],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7656608,"threshold_uncertainty_score":0.999365,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03529326749573489,"score_gpt":0.2624975572434372,"score_spread":0.2272042897477023,"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."}}