Non-negative integer basis algorithms for linear equations with integer coefficients

DOI10.1007/BF00245019zbMath0693.68021MaRDI QIDQ908692

Dallas Lankford

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

unificationcomputation of matrices

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Radix representation; digital problems (11A63)

Related Items

An algebraic approach to unification under associativity and commutativity, Proving geometry theorems with rewrite rules, AC-Termination of rewrite systems: A modified Knuth-Bendix ordering, AC-unification race: The system solving approach, implementation and benchmarks, On Model Checking Boolean BI