Automatic generation of classification theorems for finite algebras

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3097, Issue , 2004, Pages 400-414

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

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

^c UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^d UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBLEM SOLVING; THEOREM PROVING; TREES (MATHEMATICS); ALGEBRA; ARTIFICIAL INTELLIGENCE; AUTOMATION; DECISION TREES; LEARNING SYSTEMS;

ALGEBRAIC STRUCTURES; AUTOMATED TECHNIQUES; FINITE ALGEBRAS; ISOMORPHISM; AUTOMATED REASONING; AUTOMATIC GENERATION; COMPUTER ALGEBRA SYSTEMS; FINITE ALGEBRAIC STRUCTURE; ISOMORPHISM CLASS; QUALITATIVE APPROACH; QUANTITATIVE LEVEL;

AUTOMATION; THEOREM PROVING;

EID: 9444229420     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25984-8_30     Document Type: Conference Paper

References (16)

1. S Colton. Automated Theory Formation in Pure Mathematics. Springer, 2002.
2. S Colton. The HR program for theorem generation. In Voronkov [15].
3. The GAP Group. GAP - Groups, Algorithms, and Programming, Version 4-3, 2002. http://www.gap-system.org.
4. J Humphreys. A Course in Group Theory. Oxford University Press, 1996.
5. K Kunen. Single Axioms for Groups. J. of Autom. Reasoning, 9(3):291-308, 1992.
6. L Kronecker. Auseinandersetzung einiger Eigenschaften der Klassenanzahl idealer komplexer Zahlen. Monatsbericht der Berliner Akademie, pages 881-889, 1870.
7. R McCasland, M Moore, and P Smith. An introduction to Zariski spaces over Zariski topologies. Rocky Mountain Journal of Mathematics, 28:1357-1369, 1998.
8. W McCune. Single axioms for groups and Abelian groups with various operations. J. of Autom. Reasoning, 10(1):1-13, 1993.
9. W McCune. Mace4 Reference Manual and Guide. Argonne National Laboratory, 2003. ANL/MCS-TM-264.
10. B McKay, A Meinert, and W Myrvold. Counting small latin squares. European Women in Mathematics Int. Workshop on Groups and Graphs, pages 67-72, 2002.
11. A Meier, V Sorge, and S Colton. Employing theory formation to guide proof planning. In Proc. of Calculemus-2002, LNAI 2385, pages 275-289. Springer, 2002.
12. R Quinlan. C4-5: Programs for Machine Learning. Morgan Kaufmann, 1993.
13. J. Schwenk. A classification of abelian quasigroups. Rendiconti di Matematica, Serie VII, 15:161-172, 1995.
14. J Slaney, M Fujita, and M Stickel. Automated reasoning and exhaustive search: Quasigroup existence problems. Comp & Math with Applications, 29:115-132, 1995.
15. A Voronkov, editor. Proc. of CADE-18, LNAI 2392. Springer, 2002.
16. C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, and D Topic. SPASS version 2.0. In Voronkov [15], pages 275-279.