Ken Kunen: algebraist. (Q649602): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: Mace4 / rank | |||
Normal rank |
Revision as of 02:12, 29 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ken Kunen: algebraist. |
scientific article |
Statements
Ken Kunen: algebraist. (English)
0 references
2 December 2011
0 references
The author describes some work in algebra, particularly in quasigroups and loop theory, by Ken Kunen. He describes especially the use of automated deduction tools, with a lot of attention given to projects done in collaboration with him. According to the author Ken's approach to algebra utilized automated deduction tools and finite model builders. The finite model builder Ken used during the period the author discusses was SEM [see \textit{J. Zhang; H. Zhang}, SEM: a system for enumerating models, Proc. of International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, August, 11-18 (1995)].
0 references
automated reasoning
0 references
finite loops
0 references
quasigroups
0 references
Moufang loops
0 references
conjugacy closed loops
0 references