{"id":"W2215141910","doi":"10.1016/j.jco.2015.11.009","title":"A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers","year":2015,"lang":"en","type":"article","venue":"Journal of Complexity","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Bivariate analysis; Monte Carlo method; Algorithm; Polynomial; Degree (music); Modular design; Discrete mathematics; Computer science; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.002418224,0.0009214792,0.001533173,0.001025343,0.001181261,0.00187725,0.002195618,0.001741676,0.008674017],"category_scores_gemma":[0.01367531,0.0008912159,0.001183029,0.001238354,0.001833549,0.002178899,0.003240068,0.002742036,0.001449523],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00170859,"about_ca_system_score_gemma":0.004223484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005493168,"about_ca_topic_score_gemma":0.01164644,"domain_scores_codex":[0.9982089,0.0006602726,0.00009960406,0.0002962741,0.0004988579,0.0002361655],"domain_scores_gemma":[0.9935799,0.004501892,0.0002732877,0.0008276582,0.0005087683,0.0003086477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005911393,0.000211041,0.001301051,0.0001553592,0.00009690279,0.00008718794,0.0001392797,0.7175457,0.002460988,0.1439703,0.004055703,0.1293854],"study_design_scores_gemma":[0.00005421519,0.00002487022,0.00005360135,0.000009007765,0.000009507684,0.00001370615,0.00001105544,0.9514121,0.000435804,0.04749428,0.0004729971,0.000008748095],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01328187,0.0001035694,0.9816943,0.000344441,0.00006054101,0.00008188823,0.00008304241,0.0006986939,0.003651677],"genre_scores_gemma":[0.2846891,0.0001291522,0.709563,0.000314922,0.0001203793,0.0003455385,0.0003333842,0.0002722967,0.0042322],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008674017,"threshold_uncertainty_score":0.02901751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05792931936759485,"score_gpt":0.2832520914927291,"score_spread":0.2253227721251343,"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."}}