The following pages link to (Q4035235):
Displaying 33 items.
- Solution algorithms for systems of linear equations over residue rings (Q341378) (← links)
- An efficient algorithm for solving rank one perturbed linear Diophantine systems using Rosser's approach (Q548678) (← links)
- Linear equations and heights over division algebras (Q597129) (← links)
- Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
- A polynomial algorithm for solving systems of two linear diophantine equations (Q914391) (← links)
- Algorithms for solving systems of linear Diophantine equations in residue rings (Q941190) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- An efficient incremental algorithm for solving systems of linear diophantine equations (Q1333281) (← links)
- Avoiding slack variables in the solving of linear diophantine equations and inequations (Q1391934) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Updatable timed automata (Q1885906) (← links)
- A characterization of arithmetical invariants by the monoid of relations. II: The monotone catenary degree and applications to semigroup rings. (Q2346784) (← links)
- Lower bounds for testing triangle-freeness in Boolean functions (Q2353187) (← links)
- Algorithms for solving systems of linear Diophantine equations in integer domains (Q2371668) (← links)
- Inside factorial monoids and the Cale monoid of a linear Diophantine equation (Q2419476) (← links)
- Effective solution of linear Diophantine equation systems with an application in chemistry (Q2503714) (← links)
- Certified dense linear system solving (Q2643521) (← links)
- An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers (Q2654969) (← links)
- Solution of systems of linear Diophantine equations (Q2760224) (← links)
- A note on solving linear Diophantine systems by using<i>L</i><sup>3</sup>-reduction algorithm (Q3630442) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- (Q4037548) (← links)
- (Q4848189) (← links)
- (Q4968382) (← links)
- Linear equations with ordered data (Q5009439) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- General solution of systems of linear diophantine equations and inequations (Q5055841) (← links)
- (Q5071135) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)
- Symmetric and non-symmetric ABS methods for solving Diophantine systems of equations (Q5959302) (← links)
- From Feynman rules to conserved quantum numbers. III (Q6041589) (← links)
- The Diophantine problem for systems of algebraic equations with exponents (Q6054794) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)
