{"id":"W2564591273","doi":"10.1016/j.tcs.2017.03.035","title":"Computing real witness points of positive dimensional polynomial systems","year":2017,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Witness; Mathematics; Component (thermodynamics); Polynomial; Connected component; Perturbation (astronomy); Path (computing); Mathematical optimization; Algorithm; Computer science; Applied mathematics; Mathematical analysis; Discrete mathematics","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001484297,0.0002184179,0.0003603463,0.0001738535,0.001253409,0.0008173472,0.003692739,0.00006198706,0.000004892215],"category_scores_gemma":[0.0001137457,0.0001837229,0.00009292808,0.000313523,0.004000259,0.00104783,0.002570847,0.0001787452,0.00002799577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007452536,"about_ca_system_score_gemma":0.0002878408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001278294,"about_ca_topic_score_gemma":9.812136e-7,"domain_scores_codex":[0.9972522,0.0001275114,0.0004465651,0.0007513857,0.0008546743,0.0005676969],"domain_scores_gemma":[0.9976214,0.000330806,0.0003679564,0.001058165,0.0003363085,0.0002853818],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000019876,0.00006167505,0.0001930201,0.00001048335,0.000008172467,0.00001566793,0.0003569083,0.0008650629,0.001738359,0.9739527,0.00003277703,0.02274536],"study_design_scores_gemma":[0.0004730603,0.0002144144,0.03031099,0.000129714,0.000006179642,0.00006446597,0.000004752983,0.9327033,0.006635806,0.02918535,0.000005349537,0.0002666446],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3943584,0.00001091237,0.6013252,0.0005853432,0.001587021,0.0001428717,0.000003306436,0.00008203684,0.001904904],"genre_scores_gemma":[0.9637904,0.000001108493,0.03577995,0.0001004972,0.000310385,0.000001577713,0.000001130407,0.00000760441,0.000007375126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9447673,"threshold_uncertainty_score":0.9987103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01038416036767639,"score_gpt":0.2589777510609282,"score_spread":0.2485935906932518,"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."}}