Rectangular quasigroups and rectangular loops.

DOI10.1016/j.camwa.2005.01.018zbMath1082.20043arXivmath/0409074OpenAlexW2021155208MaRDI QIDQ814030

N. E. Zubov

Publication date: 2 February 2006

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0409074

zbMATH Keywords

automated reasoningbases of identitiesaxiomsvarieties of loopsfinite model buildersOtterrectangular loopsrectangular quasigroups

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Axiomatics and elementary properties of groups (20A05)

Related Items (1)

Unnamed Item

Uses Software

• OTTER
• Mace4

Cites Work

• A generalization of Moufang and Steiner loops.
• Quasigroups, loops, and associative laws
• \(G\)-loops and permutation groups
• Single axioms for odd exponent groups
• Automated deduction in equational logic and cubic curves
• Moufang quasigroups
• Every diassociative A-loop is Moufang
• Diassociativity in Conjugacy Closed Loops
• Alternative loop rings
• Commutants of Bol loops of odd order
• The structure of conjugacy closed loops
• A Fascinating Country in the World of Computing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rectangular quasigroups and rectangular loops.