Pages that link to "Item:Q5055757"

The following pages link to Minimal solutions of linear diophantine systems : bounds and algorithms (Q5055757):

Displaying 33 items.

• Affine convex body semigroups. (Q382946) (← links)
• Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
• On Siegel's lemma (Q789432) (← links)
• Computing generating sets of lattice ideals and Markov bases of lattices (Q840713) (← 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)
• Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers (Q1570259) (← links)
• Knapsack in graph groups (Q1702854) (← links)
• \(\mathbb N\)-solutions to linear systems over \(\mathbb Z\) (Q1827486) (← links)
• Efficient automated reasoning about sets and multisets with cardinality constraints (Q2096432) (← links)
• Combinatorial method for solving systems of linear constraints (Q2263302) (← links)
• Showing the non-existence of solutions in systems of linear Diophantine equations (Q2271591) (← links)
• Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
• Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations. (Q2506358) (← links)
• CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
• A note on solving linear Diophantine systems by using<i>L</i>³-reduction algorithm (Q3630442) (← links)
• Lower bounds for solving linear diophantine equations on random access machines (Q3771611) (← links)
• (Q4535012) (← links)
• Geometry of the Minimal Solutions of a Linear Diophantine Equation (Q4959654) (← links)
• (Q4968382) (← links)
• (Q5002821) (← links)
• Linear equations with ordered data (Q5009439) (← links)
• General solution of systems of linear diophantine equations and inequations (Q5055841) (← links)
• Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ (Q5060183) (← links)
• (Q5089304) (← links)
• GRIN: An implementation of Gröbner bases for integer programming (Q5101421) (← links)
• MUNCH - Automated Reasoner for Sets and Multisets (Q5747757) (← links)
• A study of a family of monomial ideals (Q5880502) (← links)
• The regularity of a toric variety (Q5936944) (← links)
• On computing Hilbert bases via the Elliot--MacMahon algorithm (Q5941500) (← links)
• Unboundedness problems for machines with reversal-bounded counters (Q6091196) (← links)
• Lower bounds on the state complexity of population protocols (Q6096031) (← links)
• Algorithms for constructing minimal generating set of solutions for systems of linear equations (Q6547249) (← links)