A reconstruction and extension of Maple's assume facility via constraint contextual rewriting

DOI10.1016/j.jsc.2004.12.010zbMath1126.68098OpenAlexW2034551708MaRDI QIDQ2456557

Alessandro Armando, Clemens Ballarin

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2004.12.010

zbMATH Keywords

computer algebraconstraintssimplificationcontextual rewritingcombination of reasoning specialists

Mathematics Subject Classification ID

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

Related Items (1)

Model structures and structural identifiability: what? why? how?

Uses Software

• Maple
• NQTHM
• GUARDIAN
• RDL
• Cambridge LCF

Cites Work

• A Skeptic's approach to combining HOL and Maple
• Constraint contextual rewriting.
• Algebraic numbers: An example of dynamic evaluation
• Maple's evaluation process as constraint contextual rewriting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A reconstruction and extension of Maple's assume facility via constraint contextual rewriting