{"id":"W5713621","doi":"10.1007/bfb0035863","title":"Darwin: Computer algebra and enumerative combinatorics","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Enumerative combinatorics; Darwin (ADL); Extremal combinatorics; Combinatorics; Algebra over a field; Mathematics; Algebraic combinatorics; Computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003541359,0.0005168009,0.0005702505,0.001062227,0.0007573813,0.002418312,0.000745485,0.0007669076,0.009520516],"category_scores_gemma":[0.001275655,0.0003496894,0.000471394,0.00202848,0.00204056,0.006087337,0.001119257,0.001855529,0.002116903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00113646,"about_ca_system_score_gemma":0.0005041516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005135542,"about_ca_topic_score_gemma":0.0006154769,"domain_scores_codex":[0.9997743,0.00006006432,0.00001337833,0.00004331105,0.00009190301,0.00001717155],"domain_scores_gemma":[0.9996225,0.0002173541,0.00002147996,0.00006309525,0.00005030838,0.00002537001],"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.000005593798,0.000006564694,0.0001068149,0.0000799999,0.000005918853,0.00003017643,0.000126683,0.0008676871,0.0003009865,0.9477087,0.01118154,0.03957934],"study_design_scores_gemma":[0.000001981098,0.00000297772,0.00009205398,0.00002039394,0.000003400543,0.00008979961,0.00002146334,0.001628777,0.0002424074,0.9407609,0.05713059,0.00000516694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02609569,0.03860466,0.47182,0.01095343,0.002742431,0.00008087618,0.0006933653,0.001601419,0.4474081],"genre_scores_gemma":[0.4648328,0.03449519,0.1559511,0.002044181,0.005894319,0.000316093,0.001171073,0.001080619,0.3342146],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009520516,"threshold_uncertainty_score":0.03184927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008530677949465895,"score_gpt":0.214028301392109,"score_spread":0.2054976234426431,"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."}}