Pages that link to "Item:Q1333281"
From MaRDI portal
The following pages link to An efficient incremental algorithm for solving systems of linear diophantine equations (Q1333281):
Displaying 35 items.
- Semigroup-theoretical characterizations of arithmetical invariants with applications to numerical monoids and Krull monoids. (Q358929) (← links)
- Complete intersections in simplicial toric varieties (Q480659) (← links)
- On the existence of solutions in systems of linear Diophantine equations (Q692309) (← links)
- Minimal regular 2-graphs and applications (Q854642) (← links)
- Cycles and communicating classes in membrane systems and molecular dynamics (Q872209) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Algorithms for solving systems of linear Diophantine equations in residue rings (Q941190) (← links)
- Strongly taut finitely generated monoids. (Q956671) (← 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)
- \(\mathbb N\)-solutions to linear systems over \(\mathbb Z\) (Q1827486) (← links)
- Minimal resolutions of lattice ideals and integer linear programming (Q1884028) (← links)
- Showing the non-existence of solutions in systems of linear Diophantine equations (Q2271591) (← links)
- Sequential composition of linear systems' clans (Q2279738) (← links)
- A characterization of arithmetical invariants by the monoid of relations. II: The monotone catenary degree and applications to semigroup rings. (Q2346784) (← links)
- Algorithms for solving systems of linear Diophantine equations in integer domains (Q2371668) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Standard bases for local rings of branches and their modules of differentials (Q2457416) (← links)
- Effective solution of linear Diophantine equation systems with an application in chemistry (Q2503714) (← links)
- Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations. (Q2506358) (← links)
- Linear Diophantine equations in several variables (Q2668066) (← links)
- FIRST SYZYGIES OF TORIC VARIETIES AND DIOPHANTINE EQUATIONS IN CONGRUENCE (Q2752378) (← links)
- An Overview of the Computational Aspects of Nonunique Factorization Invariants (Q2826742) (← links)
- Numerical Semigroups with a Monotonic Apery Set (Q3366756) (← links)
- A note on solving linear Diophantine systems by using<i>L</i><sup>3</sup>-reduction algorithm (Q3630442) (← links)
- Graph unification and matching (Q4645268) (← links)
- General solution of systems of linear diophantine equations and inequations (Q5055841) (← links)
- (Q5071135) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Semigroups with fixed multiplicity and embedding dimension (Q5217080) (← links)
- (Q5416363) (← links)
- Diophantine equations, Presburger arithmetic and finite automata (Q5878899) (← links)
- On computing Hilbert bases via the Elliot--MacMahon algorithm (Q5941500) (← links)
- Computing the elasticity of a Krull monoid (Q5954852) (← links)
- Primary ideals of finitely generated commutative cancellative monoids (Q5954855) (← links)