A computer algebra system based on order-sorted algebra

DOI10.1006/JSCO.1995.1005zbMath0836.68060OpenAlexW1967042636MaRDI QIDQ1895399

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)

Uses Software

• Unnamed Item
• Unnamed Item

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