{"id":"W1993473229","doi":"10.1016/j.jsc.2014.09.012","title":"Relaxed Hensel lifting of triangular sets","year":2014,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Agence Nationale de la Recherche","keywords":"Set (abstract data type); Point (geometry); Algorithm; Mathematics; Implementation; Computer science; Geometry; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009412157,0.0001053834,0.000309663,0.0002758419,0.000063423,0.00006106207,0.0003746367,0.00004871805,0.000002802921],"category_scores_gemma":[0.0002146272,0.00009373629,0.0001416258,0.0003940846,0.00002600232,0.0004293226,0.00007055833,0.0001456722,0.000007342821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003508083,"about_ca_system_score_gemma":0.00009695698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009447655,"about_ca_topic_score_gemma":6.75909e-7,"domain_scores_codex":[0.9984287,0.0001671166,0.0007353325,0.0001344939,0.0003856551,0.0001487138],"domain_scores_gemma":[0.9981976,0.0003140971,0.0009230004,0.0001372524,0.0003348321,0.00009326314],"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.00004812119,0.0001666427,0.0006278153,0.00006106403,0.00007942301,0.00001375501,0.004100319,0.0231537,0.008594422,0.03053909,0.000860152,0.9317555],"study_design_scores_gemma":[0.002915031,0.0008002864,0.04716867,0.0002614058,0.00004644308,0.0003262247,0.00009188079,0.8147143,0.005505142,0.12695,0.0009105917,0.0003100311],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4333699,0.00007698921,0.5652767,0.0005043822,0.0004376784,0.00004308718,2.415898e-7,0.00001976074,0.0002711806],"genre_scores_gemma":[0.9428685,0.000005349757,0.05676095,0.0001169905,0.0002287224,4.346965e-7,0.000001024595,0.000006590251,0.00001139513],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9314455,"threshold_uncertainty_score":0.3822455,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01157182247884926,"score_gpt":0.2472495510298169,"score_spread":0.2356777285509676,"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."}}