{"type":"ScholarlyArticle","title":"Using Matching in Algebraic Equation Solving","authors":[{"name":"Alan Borning","slug":"alan-borning","given":"Alan","family":"Borning","affiliation":""},{"name":"Alan Bundy","slug":"alan-bundy","given":"Alan","family":"Bundy","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1981/90","pdf":"https://ijcai.org/proceedings/1981/0090.pdf","markdown":"https://ijcai.org/proceedings/1981/90.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/90","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theoretical Foundations","track":"Theoretical Foundations","number":90,"pages":{"first":466,"last":470},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}