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

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

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

(5)

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

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)