In this paper we produce a finite algebra which generates a variety with a PSPACE-complete membership problem. We produce another finite algebra with a γ function that grows exp...
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
In this note we characterize thick finite generalized quadrangles constructed from a generalized hyperoval as those admitting an abelian Singer group, i.e., an abelian group actin...