Automated coercion for axiom

Authors:
Nicolas J. Doye
Affiliations:
NISS & Department of Mathematical Sciences, University of Bath, Claverton Down, Bath, Somerset, BA2 7AY, England
Venue:
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Year:
1999

Equational specification of partial higher-order algebras

Theoretical Computer Science - International Symposium on Mathematical Foundations of Computer Science, Bratisl
On coherence in computer algebra

Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
On Coherence in Computer Algebra

DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems

Modeling inheritance as coercion in a symbolic computation system

Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Abstract Data Types in Computer Algebra

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics

Hi-index	0.00