Domains and expressions: an interface between two approaches to computer algebra

DOI10.1145/1073884.1073921MaRDI QIDQ5262773zbMATHOpenAlexFDO

Authors Cosmin E. Oancea, Stephen M. Watt

Publication date 16 July 2015

Published in Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 941031
• Dealing with algebraic expressions over a field in Coq using Maple
• Generic, type-safe and object oriented computer algebra software
• scientific article; zbMATH DE number 1262428
• A type system for computer algebra

Cited in

(6)

• Implementation of Functional Languages
• Alma
• scientific article; zbMATH DE number 4092767 (Why is no real title available?)
• Implementing a computer algebra system in Haskell
• Extracting theory graphs from Aldor libraries
• Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration

Describes a project that uses

Uses Software

• AXIOM
• Maple
• ALDOR

This page was built for publication: Domains and expressions: an interface between two approaches to computer algebra

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