{"id":"W2956505993","doi":"10.1016/j.jsc.2019.07.009","title":"On the Extended Hensel Construction and its application to the computation of real limit points","year":2019,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Univariate; Rational function; Polynomial; Computation; Limit (mathematics); Bivariate analysis; Algebraic number; Multivariate statistics; Discrete mathematics; Algebra over a field; Applied mathematics; Pure mathematics; Algorithm; Mathematical analysis","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.0007396638,0.000126971,0.000219592,0.0002050873,0.000124394,0.00008651257,0.0003511018,0.00004476649,0.000002878166],"category_scores_gemma":[0.00007424384,0.00008055656,0.00007469682,0.0004736306,0.00003333383,0.0003110094,0.00008502377,0.0001725226,0.00002978812],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005376935,"about_ca_system_score_gemma":0.00008284938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001364211,"about_ca_topic_score_gemma":0.000002415827,"domain_scores_codex":[0.9984863,0.0001777496,0.0005510721,0.0001956591,0.0004543723,0.000134869],"domain_scores_gemma":[0.9981637,0.000496723,0.0007022519,0.0001611291,0.000404619,0.00007156192],"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.0001527507,0.0001430897,0.0003113365,0.00004805946,0.00008116527,0.000001995261,0.004533785,0.0706048,0.008953256,0.3544263,0.0005540934,0.5601894],"study_design_scores_gemma":[0.001153132,0.0009197116,0.07980738,0.0001833612,0.00003651912,0.0002353889,0.0003639511,0.7871186,0.002749028,0.127002,0.0001996179,0.0002312675],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6134546,0.00003951225,0.3809967,0.004639432,0.0003675794,0.0003165124,9.690336e-7,0.00001549997,0.0001691753],"genre_scores_gemma":[0.99405,0.00001998565,0.005379688,0.0004019759,0.0001265489,0.000004633384,0.000001694765,0.000007171099,0.000008333519],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7165138,"threshold_uncertainty_score":0.3285001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01074929831396611,"score_gpt":0.2432019845209457,"score_spread":0.2324526862069796,"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."}}