An algorithm to generate the basis of solutions to homogeneous linear diophantine equations-Reference-Cited by-同舟云学术

An algorithm to generate the basis of solutions to homogeneous linear diophantine equations

Published:1978-04 Issue:3 Volume:7 Page:144-147
ISSN:0020-0190
Container-title:Information Processing Letters
language:en
Short-container-title:Information Processing Letters

Author:

Huet Gérald

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science

Reference5 articles.

1. The algebraic theory of semigroups;Clifford;American Mathematical Society,1961

2. The algebraic theory of semigroups;Clifford;American Mathematical Society,1967

3. A complete unification algorithm for associative-comunitative functions;Stickel;Proceedings of the 4th International Joint Conference on Artificial intelligence,1975

4. M. Livesey and J. Siekmann, Unification of A + C-terms (bags) and A + C + I-terms (sets), Interner Bericht Nr. 3/76, Institut für Iformatik I, Universität Karlstuhe.

5. An algorithm to generate the basis of solutios homogenoeus linear diophantine equations;Huet;Rapport Laboratoria no. 274,1978

Cited by 57 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Explicit Solutions to Small Equations;Polynomial Diophantine Equations;2024

2. A Formally Verified Solver for Homogeneous Linear Diophantine Equations;Interactive Theorem Proving;2018

3. Intruder deduction problem for locally stable theories with normal forms and inverses;Theoretical Computer Science;2017-04

4. On exponent matrices of tiled orders;Journal of Algebra and Its Applications;2016-11-24

5. On the existence of solutions in systems of linear Diophantine equations;Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas;2011-06-25