scientific article; zbMATH DE number 176134
From MaRDI portal
Publication:4035235
Recommendations
- scientific article; zbMATH DE number 1684382
- On the solution of a system of linear Diophantine equations
- Algorithms for solving systems of linear Diophantine equations in integer domains
- scientific article; zbMATH DE number 1090094
- scientific article; zbMATH DE number 7510495
- On linear Diophantine equations and ways to solve them
- General solution of systems of linear diophantine equations and inequations
- Algorithms for solving systems of linear Diophantine equations in residue rings
- scientific article; zbMATH DE number 3923957
Cited in
(45)- AC-unification race: The system solving approach, implementation and benchmarks
- An efficient incremental algorithm for solving systems of linear diophantine equations
- Avoiding slack variables in the solving of linear diophantine equations and inequations
- Unification of infinite sets of terms schematized by primal grammars
- Updatable timed automata
- A characterization of arithmetical invariants by the monoid of relations. II: The monotone catenary degree and applications to semigroup rings.
- Lower bounds for testing triangle-freeness in Boolean functions
- Algorithms for solving systems of linear Diophantine equations in integer domains
- Inside factorial monoids and the Cale monoid of a linear Diophantine equation
- Effective solution of linear Diophantine equation systems with an application in chemistry
- Certified dense linear system solving
- An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers
- scientific article; zbMATH DE number 1684382 (Why is no real title available?)
- On the solution of a system of linear Diophantine equations
- scientific article; zbMATH DE number 4175020 (Why is no real title available?)
- Solution algorithms for systems of linear equations over residue rings
- A note on solving linear Diophantine systems by usingL3-reduction algorithm
- On Model Checking Boolean BI
- scientific article; zbMATH DE number 3900852 (Why is no real title available?)
- scientific article; zbMATH DE number 4101294 (Why is no real title available?)
- scientific article; zbMATH DE number 177666 (Why is no real title available?)
- scientific article; zbMATH DE number 1254015 (Why is no real title available?)
- scientific article; zbMATH DE number 1090094 (Why is no real title available?)
- Solving linear Diophantine equations using the geometric structure of the solution space
- Short solutions for a linear Diophantine equation
- scientific article; zbMATH DE number 2086797 (Why is no real title available?)
- scientific article; zbMATH DE number 800104 (Why is no real title available?)
- Regular separability of one counter automata
- Linear equations with ordered data
- AC unification through order-sorted AC1 unification
- General solution of systems of linear diophantine equations and inequations
- scientific article; zbMATH DE number 7510495 (Why is no real title available?)
- Decision Procedures for Multisets with Cardinality Constraints
- An efficient algorithm for solving rank one perturbed linear Diophantine systems using Rosser's approach
- Symmetric and non-symmetric ABS methods for solving Diophantine systems of equations
- Linear equations and heights over division algebras
- From Feynman rules to conserved quantum numbers. III
- The Diophantine problem for systems of algebraic equations with exponents
- Synchronization of Parikh automata
- Geometric decision procedures and the VC dimension of linear arithmetic theories
- On the complexity of convex and reverse convex prequadratic constraints
- Linear reachability problems and minimal solutions to linear Diophantine equation systems
- Synchronization of Parikh automata
- A polynomial algorithm for solving systems of two linear diophantine equations
- Algorithms for solving systems of linear Diophantine equations in residue rings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035235)
