{"id":"W2054005723","doi":"10.1007/s11704-008-0006-y","title":"On the verification of polynomial system solvers","year":2008,"lang":"en","type":"article","venue":"Frontiers of Computer Science in China","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Polynomial; Set (abstract data type); Decomposition; Theoretical computer science; Algorithm; Algebra over a field; Programming language; Mathematics; Pure 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.009894003,0.001743448,0.002571294,0.002370428,0.00252829,0.005692427,0.00503564,0.002816964,0.01037044],"category_scores_gemma":[0.07458779,0.001878255,0.004014135,0.002742163,0.007383669,0.01521468,0.008822781,0.005396412,0.00132226],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004365191,"about_ca_system_score_gemma":0.008315601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01170761,"about_ca_topic_score_gemma":0.009975066,"domain_scores_codex":[0.9825535,0.007182772,0.0009866445,0.002702955,0.004040933,0.002533036],"domain_scores_gemma":[0.8998078,0.08129244,0.002074462,0.01116635,0.004782161,0.0008768442],"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.002193451,0.0004678892,0.005451615,0.001193873,0.0004134685,0.0006328455,0.001083077,0.2433979,0.007485867,0.5661777,0.01210359,0.1593989],"study_design_scores_gemma":[0.000173048,0.0001040773,0.0006307121,0.00009618682,0.0001383439,0.00008869871,0.000148304,0.4659727,0.005225178,0.5244371,0.002936448,0.00004914373],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06834289,0.001169925,0.9030088,0.003383648,0.0003196727,0.0004573655,0.0006826855,0.003785862,0.01884918],"genre_scores_gemma":[0.8278608,0.0008784693,0.1614993,0.001011773,0.000360717,0.0002524039,0.001416992,0.0006960626,0.006023584],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01170761,"threshold_uncertainty_score":0.05232507,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009973027558295416,"score_gpt":0.2044873248179735,"score_spread":0.1945142972596781,"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."}}