Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39514
Titel: | Solving Linear Diophantine Equations |
VerfasserIn: | Guckenbiehl, Thomas Herold, Alexander |
Sprache: | Englisch |
Erscheinungsjahr: | 1985 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
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 zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-395142 hdl:20.500.11880/35692 http://dx.doi.org/10.22028/D291-39514 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 85,4 KL |
Datum des Eintrags: | 20-Apr-2023 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-MEMO-85-04-KL_Guckenbiehl-Herold_Solving-Linear-Diophantine-Equations.pdf | 25,85 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.