{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008189745,0.0001984786,0.0004468442,0.0007059869,0.0002488217,0.0002228946,0.0004446102,0.00008198146,0.000002212436],"category_scores_gemma":[0.00005426358,0.0001936097,0.00009354805,0.0009462939,0.0000954137,0.0006056196,0.0003460838,0.0003249865,0.000002083912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001746825,"about_ca_system_score_gemma":0.0002989476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001788632,"about_ca_topic_score_gemma":0.00003214936,"domain_scores_codex":[0.9979838,0.0001900318,0.0008887832,0.0002986885,0.0003488671,0.0002898454],"domain_scores_gemma":[0.9987228,0.0002655257,0.0005138101,0.0001503903,0.0002310326,0.0001164768],"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.00002138453,0.0001757311,0.001420839,0.00003674004,0.00004617713,0.00003774808,0.00270925,0.004677107,0.0001991322,0.03210442,0.0004155583,0.9581559],"study_design_scores_gemma":[0.001487095,0.0001672016,0.2197696,0.0001896608,0.00001350972,0.00009750061,0.00009201594,0.635785,0.00009339832,0.1419354,0.0001925534,0.0001770097],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.493984,0.0001846613,0.5032598,0.001395258,0.0005795987,0.0001146275,0.000001026067,0.00004100532,0.0004400062],"genre_scores_gemma":[0.9230928,0.00003591288,0.0764244,0.0002964254,0.000114366,9.428799e-7,0.000004190689,0.000006979372,0.00002399212],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9579789,"threshold_uncertainty_score":0.7895173,"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."}}