{"id":"W2054562350","doi":"10.1016/j.jsc.2013.10.016","title":"Gröbner–Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras","year":2013,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"Ministerio de Ciencia e Innovación","keywords":"Mathematics; Representation (politics); Algebra over a field; Computation; Symbolic computation; Pure mathematics; Algorithm","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.001086652,0.0006576831,0.0008445305,0.00227412,0.002012033,0.003282613,0.001127997,0.0007368803,0.008203336],"category_scores_gemma":[0.001683429,0.0003273586,0.0006026128,0.001678677,0.002714089,0.003358053,0.001833566,0.002043957,0.001282045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001322743,"about_ca_system_score_gemma":0.001315432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001121329,"about_ca_topic_score_gemma":0.001698107,"domain_scores_codex":[0.9993833,0.0001243718,0.00004351873,0.00006687731,0.0002576119,0.0001242979],"domain_scores_gemma":[0.9993265,0.0001394734,0.0001076994,0.00007077916,0.0001755084,0.0001801847],"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.00001516282,0.00001895316,0.0000556553,0.00001532406,0.000003014467,0.00001843272,0.00009769524,0.0004472507,0.0004919957,0.9952166,0.0004091013,0.003210901],"study_design_scores_gemma":[0.00001237499,0.000008465793,0.00007678423,0.000006967584,0.000002258409,0.00002238507,0.00005905188,0.001966043,0.0002596772,0.9962733,0.001304704,0.000008161351],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5909109,0.002420729,0.2227335,0.002749783,0.001240324,0.0001881925,0.0008070768,0.0002843492,0.1786651],"genre_scores_gemma":[0.9461957,0.00109185,0.02814057,0.0004356114,0.0006150788,0.0001123334,0.0005503544,0.00009610217,0.0227623],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008203336,"threshold_uncertainty_score":0.02744287,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03824089403114503,"score_gpt":0.3243957606280855,"score_spread":0.2861548665969404,"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."}}