Automated Coercion for Axiom

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 1999-January, Issue , 1999, Pages 229-235

  Doye, Nicolas J ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84959243129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309831.309944     Document Type: Conference Paper

References (9)

1. BROY, M. Equational specification of partial higher-order algebras. Theoretical Computer Science, 57 (1988), pages 3 45.
2. DAVENPORT, J. C9: Universal algebra, 1993. Lecture Notes for second year undergraduate and master's course in universal algebra, given 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. MAC LANE, S. Categories for the Working Mathematician. No. 5 in Graduate Texts in Mathematics. Springer-Verlag, 1971.
5. MARTIN, U., AND SHAND, D. Investigating some embedded verification techniques for computer algebra systems. In Proceedings of THEOREM A Workshop (1997). vol. 97-20 of RISC-Linz technical report 97-20. Also available at http://www-theory.dcs.st-and.ac.uk/~ddshand/Papers/pub.html.
6. RICHARDSON, D. Private communication, December 1997.
7. WEBER, A. On coherence in computer algebra. In DISCO (1993), no. 722 in LNCS. Also available at: http://www-ca.informatik.uni-tuebingen.de/PEOPLE/weber/ENTRIES/papers.html.
8. WEBER, A. Type Systems for Computer Algebra. PhD thesis, Tübingen, 1993. Also available at: http://www-ca.informatik.uni-tuebingen.de/PEOPLE/weber/ENTRIES/papers.html.
9. WEBER, A. On coherence in computer algebra. Journal of Symbolic Computation 19 (January/February/March 1995). Also available at: http://www-ca.informatik.uni-tuebingen.de/PEOPLE/weber/ENTRIES/papers.html.