41st International Symposium on Symbolic and Algebraic Computation (ISSAC)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
A nearring N is an algebra that does not satisfy the ring axioms, but nevertheless satisfies
a one-sided distributivity law. SONATA is a GAP package designed as a research tool for
nearrings. Users are able to define and work with finite nearrings in order to generate and test
conjectures.