A deductive database of the groups of order dividing 128

Authors:
Greg Butler;Sridhar S. Iyer;Susan H. Ley
Affiliations:
Basser Department of Computer Science, University of Sydney, Sydney NSW 2006 Australia;Basser Department of Computer Science, University of Sydney, Sydney NSW 2006 Australia;Basser Department of Computer Science, University of Sydney, Sydney NSW 2006 Australia
Venue:
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Year:
1991

Computer algebra: symbolic and algebraic computation (2nd ed.)

Computer algebra: symbolic and algebraic computation (2nd ed.)
A superimposed codeword indexing scheme for very large Prolog databases

Proceedings on Third international conference on logic programming
A knowledge-based system for computer algebra

ACM SIGSAM Bulletin
Programming in Prolog

Programming in Prolog
Groups—a database for computational algebra

Proceedings of a conference organized by the Institute of Mathematics and its Applications on Computers in mathematical research
Deductive mathematical databases—a case study

SSDBM V Proceedings of the fifth international conference on Statistical and scientific database management
Cayley, Version 4: The User Language

ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
A Primer: 11 Keys to New Scratchpad

EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation

Hi-index	0.00