scientific article; zbMATH DE number 4213327

MaRDI QIDQ3359655zbMATH OpenFDO

Authors Evelyne Contejean, Hervé Devie

Publication date 1991

zbMATH Keywords

homogeneous linear systems of Diophantine equations

Mathematics Subject Classification ID

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

Cited in

(5)

• AC-unification race: The system solving approach, implementation and benchmarks
• Competing for the \(AC\)-unification race
• scientific article; zbMATH DE number 4203568 (Why is no real title available?)
• AC unification through order-sorted AC1 unification
• Covariant algebra of the binary nonic and the binary decimic

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 Q3359655)