5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Gheorghe Ivan, George Stoianov
The main aim of this paper is to present a program on computer for decide if an universal algebra is a groupoid. Using the theory of groupoids and the program BGroidAP1 we prove a…