Automatic construction and verification of isotopy invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4130 LNAI, Issue , 2006, Pages 36-51

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

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

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

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

^d IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATIC PROGRAMMING; AUTOMATION; MATHEMATICAL MODELS; PROBLEM SOLVING; THEOREM PROVING;

AUTOMATIC CONSTRUCTION; COMPUTER ALGEBRA; ISOTOPY INVARIANTS; MODEL GENERATION;

INVARIANCE;

EID: 33749578616     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814771_5     Document Type: Conference Paper

References (22)

1. R. Alur and D. Peled, eds. Proc. of CAV 2004, LNCS 3114. Springer Verlag, 2004.
2. C. Barrett and S. Berezin. CVC Lite: A New Implementation of the Cooperating Validity Checker. In Alur and Peled [1], pages 515-518.
3. S. Colton. Automated Theory Formation in Pure Mathematics. Springer, 2002.
4. S. Colton, A. Meier, V. Sorge, and R. McCasland. Automatic Generation of Classification Theorems for Finite Algebras. In Proc. of IJCAR 2004, LNAI 3097, pages 400-414. Springer Verlag, 2004.
5. S. Colton and S. Muggleton. Mathematical Applications of Inductive Logic Programming. Machine Learning Journal, 2006 (forthcoming).
6. E. Falconer. Isotopy Invariants in Quasigroups. Transactions of the American Mathematical Society, 151(2);511-526, 1970.
7. H. Ganzinger, G. Hagen, R. Nieuwenhuis, A. Oliveras, and C. Tinelli. DPLL(T): Fast Decision Procedures. In Alur and Peled [1], pages 175-188.
8. GAP Group. Groups, Algorithms, and Programming, v4.7, 2002. gap-system.org.
9. W. McCune. Single axioms for groups and Abelian groups with various operations. Journal of Automated Reasoning, 10(1):1-13, 1993.
10. W. McCune. Mace4 Reference Manual and Guide. Argonne Nat. Laboratory, 2003.
11. B. McKay, A. Meynert, and W. Myrvold. Counting Small Latin Squares. In Europ. Women in Mathematics Int. Workshop on Groups and Graphs, pages 67-72, 2002.
12. Andreas Meier and Volker Sorge. Applying SAT Solving in Classification of Finite Algebras. Journal of Automated Reasoning, 34(2):34 pages, 2005.
13. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. chaff: Engineering an efficient SAT Solver. In Proc. of DAC-2001, pages 530-535, 2001.
14. H. Pflugfelder. Quasigroups and Loops: Introduction, volume 7 of Sigma Series in Pure Mathematics. Heldermann Verlag, Berlin, Germany, 1990.
15. A. Riazanov and A. Voronkov, Vampire 1.1. In Proc. of IJCAR, 2001, LNAI 2083, pages 376-380. Springer Verlag, 2001.
16. S. Schulz. E: A Brainiac theorem prover. J. of AI Comm., 15(2-3):111-126, 2002.
17. J. Schwenk. A classification of Abelian quasigroups. Rendiconti di Matematica, Serie VII, 15:161-172, 1995.
18. J. Slaney. FINDER, Notes and Guide. Center for Information Science Research, Australian National University, 1995.
19. J Slaney, M Fujita, and M Stickel. Automated reasoning and exhaustive search: Quasigroup existence problems, Computers and Mathematics with Applications, 29:115-132, 1995.
20. G. Sutcliffe. The IJCAR-2004 Automated Theorem Proving Competition. AI Communications, 18(1):33-40, 2005.
21. C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, and D Topic. SPASS Version 2.0. In Proc. of CADE-18, LNAI 2392, pages 275-279. Springer, 2002.
22. J. Zhang and H. Zhang. SEM User's Guide. Dep. of Comp. Science, Ulowa, 2001.