{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006671049,0.0001115917,0.000204845,0.0003370326,0.0001826883,0.0000339246,0.001852953,0.00003197632,6.991295e-7],"category_scores_gemma":[0.00003263155,0.00008266588,0.00006809221,0.001113259,0.0005405343,0.0005060458,0.0002134511,0.0001079459,0.000003690534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001032796,"about_ca_system_score_gemma":0.0002688079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007620099,"about_ca_topic_score_gemma":0.00000115016,"domain_scores_codex":[0.9984769,0.00006454634,0.0003533954,0.0003454912,0.000523026,0.0002366644],"domain_scores_gemma":[0.9989951,0.00008593075,0.0002400192,0.0005492966,0.00007216558,0.00005745739],"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.0002548983,0.001103599,0.02653361,0.000156468,0.00006825013,0.00006003273,0.04581324,0.1007341,0.009748457,0.4638653,0.08147646,0.2701856],"study_design_scores_gemma":[0.0003705602,0.0002075033,0.1229642,0.00006018474,0.000001924249,0.00001711905,0.00005547399,0.8644342,0.01019795,0.001445648,0.00009252724,0.0001527444],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5134715,0.00002505709,0.4843807,0.0003801632,0.001305484,0.0001097482,8.266041e-7,0.00002735277,0.0002991302],"genre_scores_gemma":[0.9596172,0.000003856518,0.04025951,0.00005228585,0.00005065439,0.000003719195,3.821563e-7,0.000003043597,0.000009361999],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7637001,"threshold_uncertainty_score":0.3443278,"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."}}