Automated coercion for axiom

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automated coercion for axiom

Full text

Pdf (751 KB)

Source

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

Vancouver, British Columbia, Canada

Pages: 229 - 235

Year of Publication: 1999

ISBN:1-58113-073-2

Author

Nicolas J. Doye

NISS & Department of Mathematical Sciences, University of Bath, Claverton Down, Bath, Somerset, BA2 7AY, England

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms

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/309831.309944 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	M. Broy, Equational specification of partial higher-order algebras, Theoretical Computer Science, v.57 n.1, p.3-44, April 1988 [doi>10.1016/0304-3975(88)90162-4]
	2	DAVENPORT, J. C9: Universal Mgebra, 1993. Lecture Notes for second year undergraduate and master's course in universM algebra, give~ at the University of Bath.
	3	DOYE. N. Order Sorted Computer Algebra and Coercions. PhD thesis, University of Bath, 1997. Also available at: http://www, bath. ac. uk/~ccsnjd/research.
	4	MA(: LANE. S. Categories for the Working Mathematician. No. 5 in Gradua.te Texts in Mathemettics. Springer- Verlag, 1971.
	5	MARTIN, U., A..N'D SIIAND, D. Investigating sonle embedded verification techniques for colnputer algebra systems. In Proceedings of THEOR.EMA Workshop (1997). vol. 97-20 of RISC-Linz technical report 97-20. Also available at http'//www-theory, des. st-and, ac. uk/ "ddshand/Paper s/pub, html.
	6	RIC.IIARDSON, D. Priv~t,e comnmuication, December 1997.
	7	Andreas Weber, On Coherence in Computer Algebra, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.95-106, September 15-17, 1993
	8	WEB~tt, A. Type Systems for Computer Algebra. PhD thesis, Tfibingen, 1993. Also available at: http : //www-ca. inf ormat ik. uni-tuebingen, de/ PEOPLE/weber/ENTRIES/papers. html.
	9	Andreas Weber, On coherence in computer algebra, Journal of Symbolic Computation, v.19 n.1-3, p.25-38, Jan./Feb./March 1995 [doi>10.1006/jsco.1995.1003]