Advertisement

Solving systems of linear diophantine equations and word equations

  • Habib Abdulrab
  • Jean-Pierre Pécuchet
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 355)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abd1]
    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).Google Scholar
  2. [Abd2]
    H. Abdulrab: Implementation of Makanin's algorithm. Rapport LITP 87–72, University of Paris-7 (1987).Google Scholar
  3. [Abd3]
    H. Abdulrab: Equations in words. Proceedings of ISSAC-88, to appear in LNCS.Google Scholar
  4. [Gom]
    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).Google Scholar
  5. [Mak]
    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).Google Scholar
  6. [Pec1]
    J.P. Pécuchet: Équations avec constantes et algorithme de Makanin. (Thèse), University of Rouen, (1981).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Habib Abdulrab
    • 1
    • 2
  • Jean-Pierre Pécuchet
    • 1
    • 2
  1. 1.Faculté des SciencesMont-Saint-Aignan Cedex
  2. 2.Laboratoire d'Informatique de Rouen, LITP et CNRSFrance

Personalised recommendations