| Publication | Date of Publication | Type |
|---|
Orchards in elliptic curves over finite fields
Finite Fields and their Applications | 2021-02-18 | Paper |
Automated reasoning with power maps
Journal of Automated Reasoning | 2020-04-07 | Paper |
| Means compatible with semigroup laws | 2020-03-06 | Paper |
Means compatible with semigroup laws
(available as arXiv preprint) | 2020-03-06 | Paper |
| Commutativity theorems in groups with power-like maps | 2019-09-18 | Paper |
Single identities forcing lattices to be Boolean
Mathematica Slovaca | 2018-08-23 | Paper |
Commutativity theorems for cancellative semigroups
Semigroup Forum | 2018-02-28 | Paper |
Lattices with unique complementation
Acta Scientiarum Mathematicarum | 2017-11-10 | Paper |
Automated deduction in ring theory
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Group embedding of the projective plane \(PG(2, 3)\)
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
A Geometric Procedure with Prover9
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
| A 2-base for inverse semigroups | 2012-10-11 | Paper |
A universal variety of point algebras
Algebra Colloquium | 2010-10-20 | Paper |
Terms that are self-dual in Boolean algebras but not in \(MO_{2}\)
Algebra Universalis | 2010-01-04 | Paper |
Equational spectrum of Hilbert varieties
Central European Journal of Mathematics | 2009-11-02 | Paper |
| Axioms for lattices and Boolean algebras | 2008-09-15 | Paper |
Another independent self-dual basis for the trivial variety
Algebra Universalis | 2008-03-11 | Paper |
| scientific article; zbMATH DE number 5170267 (Why is no real title available?) | 2007-07-09 | Paper |
An implication basis for linear forms
Algebra Universalis | 2007-01-29 | Paper |
Uniqueness of Steiner laws on cubic curves
Beiträge zur Algebra und Geometrie | 2007-01-22 | Paper |
Uniqueness of Steiner laws on cubic curves
Beiträge zur Algebra und Geometrie | 2007-01-22 | Paper |
Yet another single law for lattices
Algebra Universalis | 2006-07-12 | Paper |
Self-dual bases for varieties of orthomodular lattices
Algebra Universalis | 2006-07-12 | Paper |
Levi's commutator theorems for cancellative semigroups.
Semigroup Forum | 2006-03-22 | Paper |
Orthomodular lattices and permutable congruences
Algebra Universalis | 2006-01-06 | Paper |
Automated discovery of single axioms for ortholattices
Algebra Universalis | 2006-01-06 | Paper |
Irredundant self-dual bases for self-dual lattice varieties
Algebra Universalis | 2006-01-06 | Paper |
Semilattice operations generated by lattice terms
Order | 2005-11-24 | Paper |
Self-dual lattice identities.
Algebra Universalis | 2005-04-19 | Paper |
\(M\)-solid varieties generated by lattices
Algebra Universalis | 2003-04-23 | Paper |
A hyperbase for binary lattice hyperidentities
Journal of Automated Reasoning | 2000-05-17 | Paper |
| scientific article; zbMATH DE number 1406433 (Why is no real title available?) | 2000-02-23 | Paper |
Lattice ordered polynomial algebras
Order | 1999-05-16 | Paper |
Single identities for lattice theory and for weakly associative lattices
Algebra Universalis | 1998-11-24 | Paper |
Automated deduction in equational logic and cubic curves
Lecture Notes in Computer Science | 1996-08-04 | Paper |
Varieties of operator semigroups representing partitions
Semigroup Forum | 1996-04-10 | Paper |
Single identities for ternary Boolean algebras
Computers & Mathematics with Applications | 1995-05-01 | Paper |
Automated reasoning about cubic curves
Computers & Mathematics with Applications | 1995-02-02 | Paper |
Subdirectly irreducible \(n\)-quasilattices
Algebra Universalis | 1994-12-12 | Paper |
The number of varieties of pure majority algebras
Algebra Universalis | 1994-11-24 | Paper |
Binary hyperidentities of lattices
Aequationes Mathematicae | 1993-04-01 | Paper |
Placement of the Desargues configuration on a cubic curve
Geometriae Dedicata | 1992-06-26 | Paper |
Block configurations on real cubic curves
Journal of Combinatorial Theory. Series A | 1992-06-26 | Paper |
| A Nonconstructible Isomorphism | 1992-06-25 | Paper |
Variety-independence in lattice theory
Algebra Universalis | 1989-01-01 | Paper |
Self-inscribed polygons with vertices on nonsingular cubic curves
Linear Algebra and its Applications | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4062025 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4036585 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4036586 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4034530 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4107559 (Why is no real title available?) | 1987-01-01 | Paper |
Identities common to four Abelian group operations with zero
Algebra Universalis | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3970816 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3927781 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3924811 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3893233 (Why is no real title available?) | 1985-01-01 | Paper |
A Self-Dual Equational Basis for Boolean Algebras
Canadian Mathematical Bulletin | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3751025 (Why is no real title available?) | 1982-01-01 | Paper |
Logic of Equality in Geometry
North-Holland Mathematics Studies | 1982-01-01 | Paper |
| Equational Theories with a Minority Polynomial | 1981-01-01 | Paper |
A first order proof of a theorem of Frink
Algebra Universalis | 1981-01-01 | Paper |
Idempotent reducts of Abelian groups
Algebra Universalis | 1980-01-01 | Paper |
A note on lattices with unique comparable complements
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | 1979-01-01 | Paper |
Symmetric difference in Abelian groups
Pacific Journal of Mathematics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3533183 (Why is no real title available?) | 1978-01-01 | Paper |
A polynomial map preserving the finite basis property
Journal of Algebra | 1977-01-01 | Paper |
Equational theory of algebras with a majority polynomial
Algebra Universalis | 1977-01-01 | Paper |
Minimal identities for Boolean groups
Journal of Algebra | 1975-01-01 | Paper |
On M-Symmetric Lattices
Canadian Mathematical Bulletin | 1974-01-01 | Paper |
| Equational Theories of Algebras with Distributive Congruences | 1973-01-01 | Paper |
A single identity for Boolean groups and Boolean rings
Journal of Algebra | 1972-01-01 | Paper |
On identities defining lattices
Algebra Universalis | 1972-01-01 | Paper |
Subdirect decomposition of Plonka sums
Duke Mathematical Journal | 1972-01-01 | Paper |
Equational theory of idempotent algebras
Algebra Universalis | 1972-01-01 | Paper |
Characterization of a class of groupoids
Algebra Universalis | 1972-01-01 | Paper |
Errata
Journal of Algebra | 1972-01-01 | Paper |
| Regular Identities in Lattices | 1971-01-01 | Paper |
On idempotent, commutative, and nonassociative groupoids
Proceedings of the American Mathematical Society | 1971-01-01 | Paper |
| Two Identities for Lattices | 1969-01-01 | Paper |
Inverse Loops as Groupoids with One Law
Journal of the London Mathematical Society | 1969-01-01 | Paper |
On Single Equational-Axiom Systems for Abelian Groups
Journal of the Australian Mathematical Society | 1969-01-01 | Paper |
A note on inverse binary operation in abelian groups
Fundamenta Mathematicae | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3273904 (Why is no real title available?) | 1968-01-01 | Paper |
On Axioms for Semi-Lattices
Canadian Mathematical Bulletin | 1966-01-01 | Paper |
On some ternary relations in lattices
Colloquium Mathematicum | 1966-01-01 | Paper |
