AbdalBari, Anwar
(2012-10-12)
If you want to know whether a property is true or not in a specific algebraic structure,
you need to test that property on the given structure. This can be done by hand,
which can be cumbersome and erroneous. In addition, ...