{"id":"W4408868495","doi":"10.4310/hha.2025.v27.n1.a12","title":"An effective proof of the Cartan formula: odd primes","year":2025,"lang":"en","type":"article","venue":"Homology Homotopy and Applications","topic":"Mathematics and Applications","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Pure mathematics; Cartan matrix; Algebra over a field; Affine Lie algebra","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.001196323,0.001182255,0.0009216549,0.001834249,0.002289709,0.002497342,0.001204714,0.00125746,0.01859793],"category_scores_gemma":[0.003157048,0.0005370306,0.000937474,0.001202164,0.003491027,0.005452731,0.005456355,0.003934702,0.001920666],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001477524,"about_ca_system_score_gemma":0.000885637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001698261,"about_ca_topic_score_gemma":0.002681418,"domain_scores_codex":[0.9993337,0.0001498956,0.00002810455,0.00009135911,0.0002988841,0.00009799354],"domain_scores_gemma":[0.998965,0.0004131455,0.00004452437,0.0001599691,0.0002850074,0.0001323368],"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.000008335869,0.00002086995,0.00006530117,0.00005241995,0.000004583235,0.0001333439,0.0001728477,0.000287627,0.0006176364,0.9903468,0.003617887,0.004672359],"study_design_scores_gemma":[0.00001736471,0.00001412047,0.0001381571,0.0000439836,0.00001088809,0.000158001,0.00009223635,0.002136974,0.0008695972,0.9752626,0.021241,0.00001515356],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08897837,0.005732825,0.3955867,0.01873418,0.006080839,0.0001239588,0.0007911386,0.001097578,0.4828744],"genre_scores_gemma":[0.7863246,0.004699791,0.1141837,0.004387123,0.003144728,0.0002171076,0.0004096061,0.0006904642,0.08594298],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01859793,"threshold_uncertainty_score":0.06221628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01119157548227229,"score_gpt":0.3240733260099042,"score_spread":0.312881750527632,"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."}}