{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001382329,0.0008345824,0.0009798771,0.001111989,0.0009363234,0.003344498,0.001746053,0.001166296,0.0130717],"category_scores_gemma":[0.01200259,0.0006704681,0.0006623779,0.001055573,0.002238999,0.006935019,0.004027645,0.002740586,0.001505812],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001011734,"about_ca_system_score_gemma":0.0006355492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000499651,"about_ca_topic_score_gemma":0.0009119775,"domain_scores_codex":[0.9988859,0.0002429711,0.00007213336,0.0002742401,0.0003388943,0.0001858486],"domain_scores_gemma":[0.994161,0.003560215,0.000466755,0.0008478886,0.0005830461,0.000381192],"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.00164282,0.0002773264,0.008960074,0.0008954714,0.0001426799,0.0005636381,0.001416453,0.0451495,0.01337497,0.8248479,0.008865614,0.09386361],"study_design_scores_gemma":[0.0001174955,0.0001307326,0.0008855449,0.00006054331,0.00005156652,0.0001777447,0.0006013197,0.09873129,0.007454237,0.8885062,0.003247665,0.00003579496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6557723,0.0005431981,0.3239611,0.001424788,0.0001600429,0.0001498734,0.001179256,0.001630932,0.01517854],"genre_scores_gemma":[0.9544945,0.0001713198,0.04031693,0.00007605633,0.00005990117,0.00003962958,0.0009001821,0.0001522963,0.003789214],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0130717,"threshold_uncertainty_score":0.04372913,"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."}}