A knowledge-based system for computer algebra

DOI10.1145/24559.24560MaRDI QIDQ3777449zbMATH OpenOpenAlexFDO

Authors Jacques Calmet, D. Lugiez

Publication date 1987

Published in ACM SIGSAM Bulletin (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/24559.24560

zbMATH Keywords

algebric specificationknowledge representationmeta knowledge

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Symbolic computation and algebraic computation (68W30)

Recommendations

• Knowledge representation and problem solving in the intelligent computer algebra system STRAMS
• scientific article; zbMATH DE number 622671
• KAM -- a knowledge-based tool for developing computer algebra systems
• scientific article; zbMATH DE number 1086643
• scientific article; zbMATH DE number 125111

Cited in

(2)

• scientific article; zbMATH DE number 2089017 (Why is no real title available?)
• scientific article; zbMATH DE number 1086643 (Why is no real title available?)

This page was built for publication: A knowledge-based system for computer algebra

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