On coherence in computer algebra

DOI10.1006/JSCO.1995.1003MaRDI QIDQ1895394zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1350004
• A constructive algebraic hierarchy in Coq.
• scientific article; zbMATH DE number 1263433
• A type system for computer algebra
• scientific article; zbMATH DE number 1538013

Cited in

(9)

• Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
• Logic and dependent types in the Aldor computer algebra system
• Cooperation of KeTCindy and Computer Algebra System
• scientific article; zbMATH DE number 1262431 (Why is no real title available?)
• scientific article; zbMATH DE number 1263433 (Why is no real title available?)
• scientific article; zbMATH DE number 1350004 (Why is no real title available?)
• scientific article; zbMATH DE number 1538013 (Why is no real title available?)
• View of computer algebra data from Coq
• A GAP Package for Computation with Coherent Configurations

Describes a project that uses

Uses Software

• AXIOM

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

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