Efficient solution of linear diophantine equations
- 8 July 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (1-2) , 201-216
- https://doi.org/10.1016/s0747-7171(89)80025-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Unification in Abelian semigroupsJournal of Automated Reasoning, 1987
- Associative-commutative unificationJournal of Symbolic Computation, 1987
- An algebraic approach to unification under associativity and commutativityJournal of Symbolic Computation, 1987
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- An algorithm for a linear diophantine equation and a problem of FrobeniusNumerische Mathematik, 1980
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974