scientific article; zbMATH DE number 1263433

MaRDI QIDQ4234332zbMATH OpenFDO

Authors Andreas Weber

Publication date 27 June 2000

zbMATH Keywords

AXIOMcomputer algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1350004
• On coherence in computer algebra
• scientific article; zbMATH DE number 3881858
• A type system for computer algebra

Cited in

(7)

• Search algorithms in type theory
• On coherence in computer algebra
• scientific article; zbMATH DE number 3881858 (Why is no real title available?)
• scientific article; zbMATH DE number 4147499 (Why is no real title available?)
• scientific article; zbMATH DE number 1350004 (Why is no real title available?)
• An empirical study into COBOL type inferencing
• Two algorithms in search of a type-system

Describes a project that uses

Uses Software

• AXIOM

This page was built for publication:

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