{"id":"W2040416064","doi":"10.1145/1394042.1394090","title":"Automatic variable order selection for polynomial system solving (abstract only)","year":2008,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; University of Waterloo","funders":"","keywords":"Solver; Weighting; Variable (mathematics); Dependency (UML); Polynomial; Computer science; Computation; Variable elimination; Graph; System of polynomial equations; Applied mathematics; Decomposition; Basis (linear algebra); Mathematical optimization; Mathematics; Algebra over a field; Theoretical computer science; Algorithm; Pure mathematics; Artificial intelligence; Inference","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.0006770539,0.0005018849,0.0005911131,0.000538242,0.0005569067,0.0008752867,0.0006681936,0.0002872145,0.01138781],"category_scores_gemma":[0.002551495,0.00029332,0.0003048277,0.001144323,0.0004766949,0.001129711,0.001077248,0.0008869295,0.001794217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004731669,"about_ca_system_score_gemma":0.0008120488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001617997,"about_ca_topic_score_gemma":0.004963849,"domain_scores_codex":[0.9993647,0.0002373786,0.00002645185,0.00008881126,0.0002196714,0.0000630435],"domain_scores_gemma":[0.9988661,0.0006970611,0.00006227562,0.0002014092,0.0001332702,0.00003996075],"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.0007615705,0.0002418675,0.001817893,0.0003390062,0.00004039807,0.0001198053,0.0003352881,0.05938115,0.03336503,0.06018456,0.02361722,0.8197961],"study_design_scores_gemma":[0.0002309073,0.0001128463,0.0005459001,0.00002161534,0.00002351076,0.00007091188,0.00006664416,0.8750691,0.03433841,0.07490132,0.01459349,0.00002536029],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05589604,0.0002594937,0.9272762,0.0002304914,0.00004204547,0.0001030507,0.000206348,0.009174074,0.006812233],"genre_scores_gemma":[0.3180533,0.0001746521,0.6731386,0.000112599,0.00004611889,0.0001307546,0.0006677427,0.001224395,0.006451904],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01138781,"threshold_uncertainty_score":0.03809595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03329260327179587,"score_gpt":0.2739257926645742,"score_spread":0.2406331893927784,"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."}}