H ? « ‹ ← → › »

Language peer sets for CAYLEY:
Australia↑
Australia/1975↑
Designed 1975 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Symbolic ↑
Numerical Scientific ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1975↑
Logical/1975↑
Expression-oriented/1975↑
Symbolic/Australia↑
Logical/Australia↑
Expression-oriented/Australia↑
Numerical Scientific ↑
Numerical Scientific/1975↑
Numerical Scientific/au ↑

CAYLEY(ID:710/cay002)

Symbolic maths for group theory 

alternate simple view
Country: Australia
Designed 1975
Published: 1974
Genus: Symbolic
Sammet category: Numerical Scientific

for the group theoretical algebraist

Symbolic maths system for group theory.

John Cannon, Sydney U, Australia, 1974.

Related languages
Galois → CAYLEY   Co-development
CAYLEY → CAYLEY 4   Evolution of
References:
  • Cannon, J.J. (1974) Cannon, J.J. "A general purpose group theory program" pp204-217
          in Proceedings 2nd Internal. (1974) Proceedings 2nd Internal. Conference Theory of Groups. Lecture Notes in Math., Vol. 372, Springer, Berlin, 1974
  • Cannon, John J. (1976) Cannon, John J. "A draft description of the group theory language Cayley" p66-84 Abstract Extract: Design Philosophy
          in [ACM] (1976) Proceedings of the Third ACM symposium on Symbolic and algebraic computation, August 10-12, 1976, Yorktown Heights, New York, United States
  • Cannon, John J. (1981) Cannon, John J. "The basis of a computer system for modern algebra" Extract: Introduction Extract: The MA System Cayley Extract: Representation of Algebraic Structures
          in [ACM] (1981) Proceedings of the Fourth ACM symposium on Symbolic and algebraic computation 1981, Snowbird, Utah, United States
  • Cannon: , J.J. (1981) Cannon: , J.J. "Software tools for group theory". Proceedings of a Symposium in Pure Mathematics, 37, American Mathematical Society, Providence, R.I. 1981.
          in [ACM] (1981) Proceedings of the Fourth ACM symposium on Symbolic and algebraic computation 1981, Snowbird, Utah, United States
  • Cannon J.J., (1984) Cannon J.J., "An introduction to the group theory language CAYLEY", in: M.D. Atkinson (ed), Computational Group Theory, Academic Press, London, 1984, 145-183.
          in [ACM] (1981) Proceedings of the Fourth ACM symposium on Symbolic and algebraic computation 1981, Snowbird, Utah, United States
  • Campbell and Robertson (1985) C. M. Campbell and E. F. Robertson "A Cayley File of Finite Simple Groups" Abstract
          in (1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204
  • Butler G. and Cannon J.J., (1989) Butler G. and Cannon J.J., "Cayley version 4: The user language"
          in Gianni P. (1989) Gianni P. (ed), Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, Rome, July 4- 8, 1988, LNCS 358, Springer, New York, 1989
  • Butler G. and Cannon J.J., (1990) Butler G. and Cannon J.J., "The design of Cayley, a language for modern algebra" pp10-19
          in (1990) Alfonso Miola, editor, Proceedings Design and Implementation of Symbolic Computation (DISCO 90), volume 429 of Springer LNCS, pages 205-214, April 1990
  • Geddes et al (1992) Geddes, K.O. ; Czapor S.R. and G. Labahn, "Algorithms for Computer Algebra" Kluwer Academic Publishers, Boston, 1992 Extract: Extract from Chapter one
          in (1990) Alfonso Miola, editor, Proceedings Design and Implementation of Symbolic Computation (DISCO 90), volume 429 of Springer LNCS, pages 205-214, April 1990
  • Bosma, Wieb; John Cannon Graham Matthews (1994) Bosma, Wieb; John Cannon Graham Matthews "Programming with algebraic structures: design of the MAGMA language" Abstract
          in [Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder