{"id":"W2074896719","doi":"10.1145/2465506.2465954","title":"Finding points on real solution components and applications to differential polynomial systems","year":2013,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Witness; Construct (python library); Homotopy; Differential (mechanical device); Mathematics; Polynomial; Computer science; Mathematical optimization; Algebra over a field; Applied mathematics; Algorithm; Pure mathematics; Mathematical analysis; Programming language; Engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.00005799207,0.0001044548,0.0001113498,0.0001173438,0.0001781733,0.0002874631,0.000258617,0.00003751614,0.00001311584],"category_scores_gemma":[0.000004531452,0.00009090564,0.00002373002,0.0001377101,0.00001532389,0.0002521572,0.0001940334,0.00005674677,0.0003848495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004881399,"about_ca_system_score_gemma":0.00001476063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008794325,"about_ca_topic_score_gemma":0.000006567962,"domain_scores_codex":[0.9991161,0.0000357297,0.0001771899,0.0003053008,0.0001587802,0.0002069636],"domain_scores_gemma":[0.9994999,0.00005961147,0.00004872182,0.0002050704,0.00003085152,0.000155811],"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.00004291524,0.0004649506,0.001751861,0.00006142495,0.00006826816,0.000002693637,0.001153567,0.0006422024,0.1407276,0.3831142,0.02383358,0.4481367],"study_design_scores_gemma":[0.001310379,0.0003363571,0.2962985,0.00007340028,0.00001161435,0.00002277076,0.00004626028,0.6916326,0.002695145,0.003032127,0.00384763,0.0006932449],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4757116,0.000004105355,0.5209674,0.0009090608,0.0003280271,0.0004510425,0.000001615143,0.0001261712,0.001501004],"genre_scores_gemma":[0.996894,0.000001960063,0.002237502,0.0001642108,0.0002261742,0.0001098383,0.000006313148,0.000004945054,0.000355053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6909904,"threshold_uncertainty_score":0.4946591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02263855979604439,"score_gpt":0.2447300064906116,"score_spread":0.2220914466945672,"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."}}