×

Found 46 Documents (Results 1–46)

Enumeration of involutory latin quandles, Bruck loops and commutative automorphic loops of odd prime power order. (English) Zbl 1432.57018

Vojtěchovský, Petr (ed.) et al., Nonassociative mathematics and its applications. Fourth mile high conference on nonassociative mathematics, Denver, CO, USA, July 29 – August 5, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 721, 261-276 (2019).
MSC:  57K10 20N05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Loops with abelian inner mapping groups: an application of automated deduction. (English) Zbl 1383.68077

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 151-164 (2013).
MSC:  68T15 03B35 20N05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Enumeration of AG-groupoids. (English) Zbl 1250.20055

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 1-14 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software