scientific article

zbMath0782.11008MaRDI QIDQ4035235

Eric Domenjoud

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmupper boundsheightlengthminimal solutionsinhomogeneous systemshomogeneous linear diophantine equations

Mathematics Subject Classification ID

Computer solution of Diophantine equations (11Y50) Linear Diophantine equations (11D04)

Related Items (17)

Updatable timed automata ⋮ General solution of systems of linear diophantine equations and inequations ⋮ Unnamed Item ⋮ Avoiding slack variables in the solving of linear diophantine equations and inequations ⋮ Unification of infinite sets of terms schematized by primal grammars ⋮ From Feynman rules to conserved quantum numbers. III ⋮ Inside factorial monoids and the Cale monoid of a linear Diophantine equation ⋮ Synchronization of Parikh automata ⋮ Unnamed Item ⋮ AC-unification race: The system solving approach, implementation and benchmarks ⋮ Linear reachability problems and minimal solutions to linear Diophantine equation systems ⋮ AC unification through order-sorted AC1 unification ⋮ Effective solution of linear Diophantine equation systems with an application in chemistry ⋮ Decision Procedures for Multisets with Cardinality Constraints ⋮ On Model Checking Boolean BI ⋮ 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

This page was built for publication: