Der Todd-Coxeter-Algorithmus ist ein Algorithmus in der Gruppentheorie, der nach den beiden britischen Mathematikern John Arthur Todd und Harold Scott MacDonald Coxeter benannt ist. Der Algorithmus ermöglicht es, für eine Untergruppe einer endlichen Gruppe die Nebenklassen abzuzählen, wenn eine Präsentation der Gruppe gegeben ist. Insbesondere ermöglicht der Algorithmus, die Ordnung einer Gruppe zu bestimmen.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).