{"id":"W2085949571","doi":"10.4153/cmb-2009-025-9","title":"Equations and Complexity for the Dubois–Efroymson Dimension Theorem","year":2009,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Advanced Differential Equations and Dynamical Systems","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Codimension; Algebraically closed field; Degree (music); Dimension (graph theory); Polynomial; Combinatorics; Algebraic number; Irreducible polynomial; Irreducible component; Field (mathematics); Integer (computer science); Algebraic closure; Discrete mathematics; Pure mathematics; Mathematical analysis; Ordinary differential equation; Differential equation; Matrix polynomial","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003859795,0.0001607972,0.0002526848,0.00005369795,0.0004607474,0.00007761081,0.0001541381,0.00008615469,0.001173094],"category_scores_gemma":[0.001640988,0.0001049791,0.00008483091,0.00008864103,0.0001484384,0.00002515741,0.00001795454,0.0001163869,0.0002532103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008138993,"about_ca_system_score_gemma":0.00004274185,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002235953,"about_ca_topic_score_gemma":0.001067314,"domain_scores_codex":[0.9989014,0.00005352734,0.0003302894,0.0002111403,0.0001580637,0.0003455901],"domain_scores_gemma":[0.9968658,0.002334952,0.00007820032,0.0003253177,0.00008243187,0.0003133178],"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.000006315644,0.00003613644,0.000001751452,0.00003153699,0.00001117733,8.703382e-7,0.0001380781,0.000005957208,0.00004644569,0.9936152,0.002582849,0.003523755],"study_design_scores_gemma":[0.0002709218,0.00005690136,0.0001162303,0.00005321064,0.00004824577,0.000006112611,0.0001411432,0.02771841,0.00001372702,0.9630808,0.008347332,0.0001469618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01859014,0.0001186177,0.9489506,0.025165,0.00008583411,0.001389267,0.00007010916,0.00008111351,0.005549307],"genre_scores_gemma":[0.9793786,0.000003825381,0.01851404,0.0007057198,0.00009150727,0.00007111995,0.00001551176,0.00001993882,0.001199719],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9607885,"threshold_uncertainty_score":0.9997399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06659871534064002,"score_gpt":0.3021873129685606,"score_spread":0.2355885976279205,"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."}}