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ößeFormat 
SEKI-MEMO-85-04-KL_Guckenbiehl-Herold_Solving-Linear-Diophantine-Equations.pdf25,85 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.