The following pages link to (Q4723808):
Displaying 21 items.
- Unification in commutative theories (Q582071) (← links)
- A polynomial algorithm for solving systems of two linear diophantine equations (Q914391) (← links)
- On the arithmetic of Krull monoids with infinite cyclic class group (Q989076) (← links)
- Finding a partial solution to a linear system of equations in positive integers (Q1105986) (← links)
- Efficient solution of linear diophantine equations (Q1121310) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Avoiding slack variables in the solving of linear diophantine equations and inequations (Q1391934) (← links)
- Measuring with jugs (Q1603714) (← links)
- An analogue of the Erdős-Ginzburg-Ziv theorem over \(\mathbb{Z}\) (Q1712529) (← links)
- Elasticities of Krull monoids with infinite cyclic class group (Q2074401) (← links)
- On the Davenport constant of a two-dimensional box \([\![ -1,1]\!] \times [\![ -m,n]\!]\) (Q2131517) (← links)
- Long minimal zero-sum sequences over a finite subset of \(\mathbb{Z}\) (Q2408968) (← links)
- A note on minimal zero-sum sequences over Z (Q2931195) (← links)
- Geometry of the Minimal Solutions of a Linear Diophantine Equation (Q4959654) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Minimal solutions of linear diophantine systems : bounds and algorithms (Q5055757) (← links)
- General solution of systems of linear diophantine equations and inequations (Q5055841) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Holonomic functions and their relation to linearly constrained languages (Q5286061) (← links)
- Avoiding zero-sum subsequences of prescribed length over the integers (Q5384150) (← links)
- On the complexity of recognizing the Hilbert basis of a linear Diophantine system (Q5958323) (← links)
