Please use this identifier to cite or link to this item:
doi:10.22028/D291-39514 | Title: | Solving Linear Diophantine Equations |
| Author(s): | Guckenbiehl, Thomas Herold, Alexander |
| Language: | English |
| Year of Publication: | 1985 |
| Place of publication: | Kaiserslautern |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | Linear diophantine equations are at the heart of any unification algorithm for associative and commutative theories. The known algorithms for solving homogeneous linear diophantine equations of Huet and Fortenbacher are presented and their implementation is compared. The algorithms for homogeneous equations are extended to solve inhomogeneous equations, since this is an important component of the AC-unification algorithm of Livesey and Siekmann and the extension of Herold and Siekmann. |
| Link to this record: | urn:nbn:de:bsz:291--ds-395142 hdl:20.500.11880/35692 http://dx.doi.org/10.22028/D291-39514 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 85,4 KL |
| Date of registration: | 20-Apr-2023 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-MEMO-85-04-KL_Guckenbiehl-Herold_Solving-Linear-Diophantine-Equations.pdf | 25,85 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.