scientific article

zbMath0438.68041MaRDI QIDQ3880307

Alan Bundy, Bob Welham

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

meta-level inferencealgebraic manipulationcontrolling inferencemultiple rewrite rules

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

A calculus for and termination of rippling ⋮ Discovering inequality conditions in the analytic solution of optimization problems ⋮ Unnamed Item ⋮ Termination orderings for rippling

Uses Software

• MACSYMA

Cites Work

• Unnamed Item
• Unnamed Item
• Prolegomena to a theory of mechanized formal reasoning
• A man-machine theorem-proving system
• Group velocity and nonlinear dispersive wave propagation
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Proving Theorems about LISP Functions
• Algebraic simplification