A deductive database of the groups of order dividing 128

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A deductive database of the groups of order dividing 128

Full text

Pdf (698 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1991 international symposium on Symbolic and algebraic computation table of contents

Bonn, West Germany

Pages: 210 - 218

Year of Publication: 1991

ISBN:0-89791-437-6

Authors

Greg Butler	Basser Department of Computer Science, University of Sydney, Sydney NSW 2006 Australia
Sridhar S. Iyer	Basser Department of Computer Science, University of Sydney, Sydney NSW 2006 Australia
Susan H. Ley	Basser Department of Computer Science, University of Sydney, Sydney NSW 2006 Australia

Sponsors

GMD : German Natl Research Ctr for Information Tech. - Gesellschft
German Comp Soc : GI - Gesellshaft for Informatik
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 15, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/120694.120725 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B. Buchberger , George E. Collins , Rudiger Loos , Rudolf Albrecht, Computer algebra: symbolic and algebraic computation (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1983
	2	Gregory Butler , John J. Cannon, Cayley, Version 4: The User Language, Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation, p.456-466, July 04-08, 1988
	3	Greg Butler , Sridhar S. Iyer, Deductive mathematical databases—a case study, Proceedings of the fifth international conference on Statistical and scientific database management, p.50-64, March 1990, Charlotte, North Carolina, United States
	4	Jacques Calmet , Denis Lugiez, A knowledge-based system for computer algebra, ACM SIGSAM Bulletin, v.21 n.1, p.7-13, Feb. 1987 [doi>10.1145/24559.24560]
	5	John J. Cannon, An introduction to the group theory language, Cayley, Computational Group Theory M. D. Atkinson, editor, Academic Press, London, 1984, 145-183.
	6	W. F. Clocksin , C. S. Mellish, Programming in Prolog, Springer-Verlag New York, Inc., New York, NY, 1987
	7	J.H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker, R.A. Wilson, Atlas of Finite Groups, Clarendon Press, Oxford, 1985.
	8	M. Hall, Jr and j.K. Senior, The Groups of Order 2n, (n <= 6), Macmillan, New York, 1964.
	9	D.F. tIolt and W. Plesken, Perfect Groups, Oxford University Press, 1989.
	10	R. James, M.F. Newman, E.A. O'Brien, The groups of order 128, J. Algebra, 129, 1 (1990) 136-158.
	11	Richard D. Jenks, A Primer: 11 Keys to New Scratchpad, Proceedings of the International Symposium on Symbolic and Algebraic Computation, p.123-147, July 09-11, 1984
	12	S.H. Ley, TWOGPS : A Deductive Database for Groups of Order 2n. Honours Thesis, University of Sydney, 1988.
	13	J.W. Lloyd, An introduction to deductive database systems, Australian Computer Journal 15, 2 (1983) 52-57.
	14	J.K.S. McKay, The non-abeliau simple groups G, IGI < 106 - character lables, Communications in Algebra, 7, 13 (1979) 1407-1445.
	15	J. Neubfiser, H. Pahlings, and W. Plesken, CAS; Design and use of a system for the handling of characters of ini~e groups, Computational Group Theory M. D. Atkinson, cditor, Academic Press, London, 1984, 195- 247.
	16	M.F. Newman and E.A. O'Brien, A Cayley library .for the groups of order dividing 128, Group Theory (Singapore, 1989), Walter de Gruyter, Berlin, New York, 1989, pp. 337-342.
	17	E.A. O'Brien, The Groups of Order Dividing 256, Ph.D. Thesis, Australian National University, 1988.
	18	F.C. Periera and D.H.D. Warren, Definite clause grammars for language analysis- a survey of the formalism aad a comparison with augmented ~ransi~ion networks, Artificial Intelligence 13 (1980) 231-278.
	19	Kotagiri Ramamohanarao , John Shepherd, A superimposed codeword indexing scheme for very large Prolog databases, Proceedings on Third international conference on logic programming, p.569-576, September 1986, London, United Kingdom
	20	C.C. Sims, Computational methods for permutation groups, Computational Problems in Abstract Algebra, (Proceedings of a conference in Oxford, 1967), J. Leech (ed.), Pergamon Press, Oxford, 1970, pp.169- 183.
	21	J.A. Thom and L. Naish, The MU.Prolog deductive dalabase, TR 83/10, Department of Computer Science, University of Melbourne, 1983.
	22	J.A. Thom and J. Zobels (eds), NU-Prolog Reference Manual vet 1.1, TR 86/10, Department of Computer Science, University of Melbourne, 1987.
	23	M. F. Worboys, Groups—a database for computational algebra, Proceedings of a conference organized by the Institute of Mathematics and its Applications on Computers in mathematical research, p.153-160, May 1988, Cardiff, Wales