Results 41 to 50 of about 62 (60)

Supergroup algorithm and knowledge graph construction in museum digital display platform. [PDF]

Heliyon
Su L, Liu H, Zhao W.
europepmc   +1 more source

The construction of loops using right division and Ward quasigroups.

, 2006
The point of departure in this paper is the study of a group or a loop \(Q\) via the multiplication table \(W(Q)\) under the operation of right division [see \textit{K. W. Johnson} and \textit{P. Vojtěchovský}, Abh. Math. Semin. Univ. Hamb. 75, 121-136 (2005; Zbl 1104.20063)].
openaire   +2 more sources

Short identities implying a quasigroup is a loop or group

, 2007
In this note, we nd all identities in product only with at most six variable occurrencesthat imply that a quasigroup satisfying the identity is a not necessarily trivial loopgroup. These investigations were aided by the automated theorem-prover Prover9 andthe model-nder Mace4.
openaire   +1 more source

Amalgam of a loop over an idempotent quasigroup

, 2005
openaire   +1 more source

Automated theorem proving in quasigroup and loop theory [PDF]

AI Communications, 2010
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal descriptions of selected problems, and compare the performance of selected state-of-the art first order theorem provers on them.
Phillips, J D, Stanovsky, D
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Smooth Quasigroups and Loops

1999
This monograph written by a leading specialist in this new rapidly developing field of mathematics presents the complete up-to-date theory of smooth quasigroups and loops, as well as its geometric and algebraic applications. Based on a generalization of the Lie group theory, it establishes a new background for differential geometry in the form of the ...
Sabinin Lev V., Goldberg Vladislav
openaire   +2 more sources

Some Varieties of Quasigroups, Loops and their Parastrophes

Communications in Mathematics and Applications, 2012
El papel de las parásitas en la teoría de los cuasigrupos y los bucles es bien conocido. Es nuestro enfoque investigar clases notables de bucles y cuasigrupos y relacionarlos con sus parásitos. Se presentan algunas consecuencias para los bucles de código.
Peter Plaumann, Liudmila Sabinina, L. Sbitneva   +2 more
openaire   +1 more source

Varieties Of Steiner Loops and Steiner Quasigroups

Canadian Journal of Mathematics, 1976
A Steiner Triple System (STS) is a pair (P, B) where P is a set of points and B is a set of 3-elenient subsets of P called blocks (or triples) such that for distinct p, q ∈ P there is a unique block b ∈ B with ﹛p, q) ⊂ b. There are two well-known methods for turning Steiner Triple Systems into algebras; both methods are due to R. H. Bruck [1].
openaire   +2 more sources

Quasi-Invariant and Invariant Functionals and Measures on Systems of Topological Loops and Quasigroups

Siberian Mathematical Journal, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

INFINITE IRREDUNDANT SYSTEMS OF IDENTITIES IN COMMUTATIVE MOUFANG LOOPS AND DISTRIBUTIVE STEINER QUASIGROUPS

Mathematics of the USSR-Izvestiya, 1988
Translation from Izv. Akad. Nauk SSSR, Ser. Mat. 51, No.1, 171-188 (Russian) (1987; Zbl 0615.20055).
openaire   +1 more source