{"id":"W4391556953","doi":"10.1016/j.jsc.2025.102532","title":"Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity","year":2025,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Wetenschappelijk Onderzoek; European Office of Aerospace Research and Development; Air Force Office of Scientific Research; Austrian Science Fund; Agence Nationale de la Recherche","keywords":"Algebraic number; Computer science; Algorithm; Algebra over a field; Mathematics; Pure mathematics","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.001294636,0.0007289575,0.001417953,0.002247548,0.001328425,0.005849009,0.002631396,0.001507499,0.009577783],"category_scores_gemma":[0.01200842,0.0008308712,0.001989742,0.002683135,0.002506137,0.01041953,0.004854657,0.003205284,0.00122678],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00212808,"about_ca_system_score_gemma":0.001708723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0036505,"about_ca_topic_score_gemma":0.004764473,"domain_scores_codex":[0.9987283,0.0002492018,0.0001206053,0.0003616712,0.0003721516,0.0001680543],"domain_scores_gemma":[0.9915155,0.006587519,0.0003712878,0.0007690566,0.0004794108,0.0002772837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003712888,0.0001497762,0.002730217,0.0005200906,0.00008497414,0.0001456486,0.001039346,0.1753434,0.003362631,0.659388,0.004213369,0.1526513],"study_design_scores_gemma":[0.00002514273,0.0000293443,0.0002770348,0.00003538221,0.00002027511,0.00004897146,0.0001887385,0.2857652,0.001782142,0.7104462,0.001361041,0.00002057955],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2205874,0.000406691,0.7645808,0.0008253184,0.00006704674,0.0001906384,0.0006423319,0.001342097,0.01135771],"genre_scores_gemma":[0.6551411,0.0003521201,0.3362003,0.0001208685,0.00006865792,0.0001532451,0.001164661,0.0004088884,0.006390176],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009577783,"threshold_uncertainty_score":0.03204089,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01884513011506446,"score_gpt":0.2839940453018797,"score_spread":0.2651489151868153,"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."}}