On coherence in computer algebra

DOI10.1006/jsco.1995.1003zbMath0836.68058OpenAlexW1989791092WikidataQ62015463 ScholiaQ62015463MaRDI QIDQ1895394

Andreas Weber

Publication date: 22 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.1003

zbMATH Keywords

coherencecomputer algebra systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• AXIOM

This page was built for publication: On coherence in computer algebra