A computer algebra system based on order-sorted algebra

DOI10.1006/JSCO.1995.1005MaRDI QIDQ1895399zbMATH OpenOpenAlexFDO

Authors Anthony C. Hearn, Eberhard Schrüfer

Publication date 11 April 1996

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1995.1005

zbMATH Keywords

algebraic computation system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A Framework for Order-Sorted Algebra
• scientific article; zbMATH DE number 3949706
• scientific article; zbMATH DE number 1350004
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A type system for computer algebra

Cited in

(4)

• scientific article; zbMATH DE number 1860751 (Why is no real title available?)
• A Framework for Order-Sorted Algebra
• scientific article; zbMATH DE number 176539 (Why is no real title available?)
• Algebraic structures as typed objects

Describes a project that uses

Uses Software

• AXIOM
• REDUCE

This page was built for publication: A computer algebra system based on order-sorted algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1895399)