Classification results in quasigroup and loop theory via a combination of automated reasoning tools

Commentationes Mathematicae Universitatis Carolinae

Volumn 49, Issue 2, 2008, Pages 319-339

  Sorge, Volker ^a   Colton, Simon ^b   McCasland, Roy ^c   Meier, Andreas ^d  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

^d GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

Automated reasoning; Classification; Loops; Quasigroups

Indexed keywords

EID: 70349996170     PISSN: 00102628     EISSN: 12137243     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. Alur R., Peled D., Eds., Computer Aided Verification, 16th International Conference, CAV 2004, vol. 3114 of LNCS, Springer, Boston, MA, 2004
2. Barrett C., Berezin S., CVC Lite: A new implementation of the cooperating validity checker, in Alur and Peled [1], pp. 515-518
3. Colton S., Automated Theory Formation in Pure Mathematics, Springer, 2002
4. Colton S., Bundy A., Walsh T., Automatic identification of mathematical concepts, in Machine Learning: Proceedings of the 17th International Conference, 2000, pp. 183-190
5. Colton S., Meier A., Sorge V., McCasland R., Automatic Generation of classification the-orems for finite algebras, in David Basin and Michael Rusinowitch, Eds., Automated Rea-soning-2nd International Joint Conference, IJCAR 2004, vol. 3097 of LNAI, Springer, Cork, Ireland, 2004, pp. 400-414
6. Colton S., Muggleton S., Mathematical applications of inductive logic programming, Ma-chine Learning 64 (2006), 25-64
7. Falconer E., Isotopy invariants in quasigroups, Trans. Amer. Math. Society 151 (1970), 511-526
8. Ganzinger H., Hagen G., Nieuwenhuis R., Oliveras A., Tinelli C., DPLL(T): Fast decision procedures, in Alur and Peled [1], pp. 175-188
9. The GAP Group, GAP -Groups, Algorithms, and Programming, Version 4.3, 2002, http://www.gap-system.org
10. Kronecker L., Auseinandersetzung einiger Eigenschaften der Klassenanzahl idealer kom-plexer Zahlen, Monatsbericht der Berliner Akademie, pp. 881-889, 1870
11. McCune W., Mace4 Reference Manual and Guide, Argonne National Laboratory, 2003. ANL/MCS-TM-264
12. McCune W., Otter 3.3 Reference Manual, Technical Report ANL/MCS-TM-263, Argonne National Laboratory, 2003
13. Meier A., Sorge V., Applying SAT solving in classification of finite algebras, J. Automat. Reason. 35 (2005), no. 1-3, 201-235
14. Mitchell T., Machine Learning, McGraw Hill, New York, 1997
15. Moskewicz M., Madigan C., Zhao Y., Zhang L., Malik S., Chaff: Engineering an efficient SAT solver, in Proc. of the 39th Design Automation Conference (DAC 2001), Las Vegas, 2001, pp. 530-535
16. Riazanov A., Voronkov A., Vampire 1.1, in Rejeev Goré, Alexander Leitsch, and Tobias Nipkow, Eds., Automated Reasoning-1st International Joint Conference, IJCAR 2001, vol. 2083 of LNAI, Springer, Siena, Italy, 2001, pp. 376-380
17. Schulz S., E: A Brainiac theorem prover, Journal of AI Communication 15 (2002), no. 2-3, 111-126
18. Slaney J., FINDER, Notes and Guide, Center for Information Science Research, Australian National University, 1995
19. Slaney J., Fujita M., Stickel M., Automated reasoning and exhaustive search: Quasigroup existence problems, Comput. Math. Appl. 29 (1995), 115-132
20. Sorge V., Meier A., McCasland R., Colton S., The automatic construction of isotopy invari-ants, in Third International Joint Conference on Automated Reasoning, 2006, pp. 36-51
21. Weidenbach C., Brahm U., Hillenbrand T., Keen E., Theobald C., Topic D., SPASS Ver-sion 2.0, in A. Voronkov, Ed., Proc. of the 18th International Conference on Automated Deduction (CADE-18), vol. 2392 of LNAI, Springer, Berlin, 2002, pp. 275-279
22. Zhang J., Zhang H., SEM User's Guide, Department of Computer Science, University of Iowa, 2001