الگوریتم تاد–کاکسیتر

در نظریه گروه‌ها، الگوریتم تاد–کاکسیتر (انگلیسی: Todd–Coxeter algorithm) که توسط جی. ای. تاد و اچ. اس. ام. کاکسیتر[۱] در سال ۱۹۳۶ ایجاد شده، الگوریتمی برای حل مسئله آمارگیری هم‌مجموعه‌ها است.

منابع

  1. ↑ Todd, J., & Coxeter, H. (1936). A practical method for enumerating cosets of a finite abstract group. Proceedings of the Edinburgh Mathematical Society, 5(1), 26-34. doi:10.1017/S0013091500008221 (pdf: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0013091500008221)