Classification results in quasigroup and loop theory via a combination of automated reasoning tools (2008)
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes.
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.emis.ams.org/journals/CMUC/pdf/cmuc0802/sorgecol.pdf
Type: Journal Article/Review
Volume: 49
Parent Publication: Commentationes Mathematicae Universitatis Carolinae