The Albert nonassociative algebra system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The Albert nonassociative algebra system: a progress report

Full text

Pdf (392 KB)

Source

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

Oxford, United Kingdom

Pages: 41 - 44

Year of Publication: 1994

ISBN:0-89791-638-7

Author

David P. Jacobs

Department of Computer Science, Clemson University, Clemson, SC

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 17, Citation Count: 2

Additional Information:

references cited by 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/190347.190358 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	A.A. Albert, Power Associative Rings. Transactions of the Amer. Math. Soc., 64: 552-593, 1948.
	2	R.E. Beck and B. Kolman (editors). Computers in Nonassociative Rings and Algebras, Academic Press, 1977.
	3	J. Chen, On Right Alternative C(A)-rings. Tamkang J. Sci. Engin., 9: 5-7, 1970.
	4	I. R. Hentzel, Processing Identities by Group Represention, in Computers in Nonassociative Rings and Algebras, p. 13 - 40, R.E. Beck and B. Kolman (editors), Academic Press, 1977.
	5	I.R. Hentzel and D.P. Jacobs, A Condition Guaranteeing Commutativity. International Journal of Algebra and Computation, 2: 291-296, 1992.
	6	I.R. Hentzel, D.P. Jacobs, and E. Kleinfeld, Rings With (a, b, c) = (a, c, b) and (a, {b, c}, d) = 0: A Case Study Using Albert. Int. J. of Computational Mathematics, to appear.
	7	Irvin Roy Hentzel , David P. Jacobs , Sekhar V. Muddana, Experimenting with the identity (xy)z = y(zx), Journal of Symbolic Computation, v.16 n.3, p.289-293, Sept. 1993 [doi>10.1006/jsco.1993.1047]
	8	I.R. Hentzel, D.P. Jacobs, L.A. Peresi, and S.R. Sverchkov, Solvability of the Ideal of All Weight Zero Elements in Bernstein Algebras. Communications in Algebra, to appear.
	9	I.R. Hentzel and D.P. Jacobs, A Dynamic Programming Method for Building Free Algebras. Computers Mathematics with Applications, 22: 61-66, 1991.
	10	Irvin Roy Hentzel , David Pokrass Jacobs, Verification of Non-Identities in Algebras, Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation, p.496-507, July 04-08, 1988
	11	D. P. Jacobs, Probabilistic checking of associativity in algebras, Information Processing Letters, v.37 n.4, p.187-191, Feb. 28, 1991 [doi>10.1016/0020-0190(91)90186-L]
	12	D.P. Jacobs, S.V. Muddana, A.J. Offutt, K. Prabhu, D. Lee, and T. Whiteley, Albert user's guide, technical report ~91-113, Department of Computer Science, Clemson University.
	13	D.P. Jacobs, S.V. Muddana, and A.:I. Offutt, A Computer Algebra System for Nonassociative Identities. In Proceedings o~ the Fifth international Conference, Hadronic Mechanics and Nonpotential Interactions, Cedar Falls, Myung, H.C. (Ed.), Nova Science Pubfishers, inc., New York, 1992.
	14	E. Kleinfeld, Examples, Counterexamples and the Computer. In Computers in Nonassociative Rings and Algebras, p. 1 - 9, R.E. Beck and B. Kolman (editors), Academic Pre~, 1977.
	15	E. Kleinfeld, On Centers of Alternative Algebras. Communications in Algebra, 8: 289-297, 1980.
	16	E. Luks, What is the Typical Nilpotent Lie Algebra?. In Computers in Nonassociative Rings and Algebras, p. 189 - 207, R.E. Beck and B. Kolman (editors), Academic Press, 1977.
	17	I. M. Miheev, One identity in Right Alternative Rings. Algebra and Logic, 8: 204-211, 1969.
	18	Y. Paul, Prime Rings Satisfying (x, y, z)- (x, z, y). In Proceedings o/ the Symposium on Algebra and Number Theory, Kochi, Kerala, India, July, 1990, 91-95.
	19	L.C. Paulson, Introduction to Isabelle. Technical Report ~280, Computer Laboratory, University of Cambridge, 1993.
	20	R.D. Schafer, An Introduction to Nonassociative Algebras, Academic Press, 1966.
	21	B. Smith and L. Wos, An Unnatural Attack on the Structurc Problem for the Free Jordan Ring on 3 Letters: An Application of Quad Arithmetic, In Computers in Nonassociative Rings and Algebras, p. 41- 138, R.E. Beck and B. Kolman (editors), Academic Press, 1977.
	22	A. Thedy, On Rings with Commutators in the Nuclei, Math. Zeitschr. 119: 213-218, 1971.
	23	K.A. Zhevlakov, A.M Slin'ko, I.P. Shestakov, and A.I. Shirshov. Rings That Are Nearly Associative. Academic Press, 1982.

CITED BY 2

	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	Alfred Widiger, Solving the Word Problem for Two Classes of Non-associative Rings by Rewriting, Journal of Symbolic Computation, v.32 n.3, p.291-301, 09/01/2001