{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005626428,0.0002601357,0.0003516099,0.0003770938,0.0007940202,0.0002126335,0.003987564,0.0001312431,0.000009601707],"category_scores_gemma":[0.0001414921,0.0002821567,0.0001044788,0.001258488,0.00009960942,0.0009104431,0.001565224,0.0003267839,0.00004938915],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003144551,"about_ca_system_score_gemma":0.0005145346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002940815,"about_ca_topic_score_gemma":0.0001001763,"domain_scores_codex":[0.9978828,0.0001719576,0.000727908,0.0005093623,0.0002352882,0.0004727282],"domain_scores_gemma":[0.9957055,0.001215488,0.0002583281,0.002479068,0.0002354756,0.0001061188],"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.00004013696,0.001504045,0.007736146,0.0004021124,0.0002638203,0.00001510758,0.00563495,0.008824261,0.001411546,0.3093933,0.01658979,0.6481848],"study_design_scores_gemma":[0.0008241216,0.00008243834,0.01164844,0.0001179172,0.000009944942,0.0001899975,0.00001630007,0.9810863,0.00007160696,0.003217681,0.002407068,0.0003282106],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0914432,0.0001750996,0.9043407,0.001458036,0.0007257471,0.0006407242,0.000004724257,0.0007571013,0.0004546249],"genre_scores_gemma":[0.5144596,0.00001424884,0.4850359,0.0001895015,0.0001431494,0.00009109261,0.00002093376,0.00001561655,0.00002998677],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.972262,"threshold_uncertainty_score":0.999963,"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."}}