---
title: "Using Matching in Algebraic Equation Solving"
authors:
  - "Alan Borning"
  - "Alan Bundy"
doi: ""
url: "https://ijcai.org/proceedings/1981/90"
pdf: "https://ijcai.org/proceedings/1981/0090.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "466-470"
track: "Theoretical Foundations"
keywords:
---

# Using Matching in Algebraic Equation Solving

Alan Borning, Alan Bundy

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 466-470.

## Abstract

This paper describes the use of powerful algebraic matching techniques for applying rewrite rules in equation solving. A matcher is presented that knows about the commutativity and associativity of addition and multiplication, will provide defaults for missing summands and factors, and if necessary will solve algebraically for the value of pattern variables.