{"id":"W4296916461","doi":"10.1016/j.jsc.2023.102234","title":"Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results","year":2023,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"European Commission; Natural Sciences and Engineering Research Council of Canada; Austrian Science Fund; Agence Nationale de la Recherche; European Office of Aerospace Research and Development; Air Force Office of Scientific Research","keywords":"Mathematics; Bounded function; Algebraic number; Real algebraic geometry; Intersection (aeronautics); Computation; Dimension (graph theory); Set (abstract data type); Connected component; Robotics; Polynomial; Algebra over a field; Discrete mathematics; Theoretical computer science; Algorithm; Pure mathematics; Robot; Computer science; Artificial intelligence","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.0009529882,0.0009901479,0.001161213,0.003496907,0.001602447,0.004482604,0.002590329,0.001416103,0.0110607],"category_scores_gemma":[0.0125016,0.0007968951,0.001582367,0.003590447,0.003328204,0.01184783,0.004829866,0.003443634,0.001001438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001426826,"about_ca_system_score_gemma":0.0007265661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002774841,"about_ca_topic_score_gemma":0.003758214,"domain_scores_codex":[0.9990146,0.0001448374,0.00007078124,0.0003290696,0.0002936751,0.0001470855],"domain_scores_gemma":[0.988983,0.007829697,0.0007646174,0.001129611,0.0007170063,0.0005759882],"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.0004054848,0.0001670296,0.005136027,0.0005768612,0.00008667764,0.0002484821,0.00121837,0.09953073,0.004051474,0.823568,0.005071393,0.05993943],"study_design_scores_gemma":[0.00002525752,0.00007125831,0.0009997286,0.00007568044,0.00004479062,0.0001041661,0.0003501932,0.146608,0.002452921,0.8468909,0.002342678,0.00003450299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5136016,0.001079288,0.4515139,0.001105221,0.0001065931,0.0001509986,0.001478112,0.001318179,0.02964617],"genre_scores_gemma":[0.9154812,0.0006041397,0.07620416,0.0001408469,0.0001058409,0.0001068537,0.001658142,0.0003420594,0.00535677],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0110607,"threshold_uncertainty_score":0.03700179,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02300647098096955,"score_gpt":0.289408828303634,"score_spread":0.2664023573226644,"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."}}