Maple's evaluation process as constraint contextual rewriting

DOI10.1145/384101.384107MaRDI QIDQ2958911zbMATH OpenOpenAlexFDO

Authors Alessandro Armando, Clemens Ballarin

Publication date 3 February 2017

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42)

Recommendations

• A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
• Constraint contextual rewriting.
• Partial evaluation of Maple
• scientific article; zbMATH DE number 1538008
• scientific article; zbMATH DE number 1254236

Cited in

(3)

• Constraint contextual rewriting.
• A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
• Partial evaluation of Maple

Describes a project that uses

Uses Software

• Maple

This page was built for publication: Maple's evaluation process as constraint contextual rewriting

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