A computer algebra system based on order-sorted algebra
From MaRDI portal
Publication:1895399
DOI10.1006/jsco.1995.1005zbMath0836.68060MaRDI 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
68W30: Symbolic computation and algebraic computation
68Q65: Abstract data types; algebraic specification
Uses Software