Preview
Unable to display preview. Download preview PDF.
References
H. Abdulrab: Résolution d'équations sur les mots: étude et implémentation LISP de l'algorithme de Makanin. (Thèse), University of Rouen (1987). And Rapport LITP 87–25, University of Paris-7 (1987).
H. Abdulrab: Implementation of Makanin's algorithm. Rapport LITP 87–72, University of Paris-7 (1987).
H. Abdulrab: Equations in words. Proceedings of ISSAC-88, to appear in LNCS.
R.E. Gomory: An algorithm for integer solutions to linear programs. Recent advances in mathematical programming, Eds R.L Graves et p. Wolfe. p. 269–302, (1963).
G.S. Makanin: The problem of solvability of equations in a free semigroup. Mat. Sb. 103(145) (1977) p. 147–236 English transl. in Math. USSR Sb. 32, (1977).
J.P. Pécuchet: Équations avec constantes et algorithme de Makanin. (Thèse), University of Rouen, (1981).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdulrab, H., Pécuchet, JP. (1989). Solving systems of linear diophantine equations and word equations. In: Dershowitz, N. (eds) Rewriting Techniques and Applications. RTA 1989. Lecture Notes in Computer Science, vol 355. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51081-8_130
Download citation
DOI: https://doi.org/10.1007/3-540-51081-8_130
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51081-9
Online ISBN: 978-3-540-46149-4
eBook Packages: Springer Book Archive