Skip to main content
SpringerLink
Log in

Solving systems of linear diophantine equations and word equations

  • System Descriptions
  • Conference paper
  • First Online:
Book cover Rewriting Techniques and Applications (RTA 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 355))

Included in the following conference series:

  • 154 Accesses

This work was also supported by the Greco de Programmation du CNRS and the PRC Programmation Avancee et Outils pour l'Intelligence Artificielle.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. H. Abdulrab: Implementation of Makanin's algorithm. Rapport LITP 87–72, University of Paris-7 (1987).

    Google Scholar 

  3. H. Abdulrab: Equations in words. Proceedings of ISSAC-88, to appear in LNCS.

    Google Scholar 

  4. 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. 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. J.P. Pécuchet: Équations avec constantes et algorithme de Makanin. (Thèse), University of Rouen, (1981).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculté des Sciences, B.P. 118, 76134, Mont-Saint-Aignan Cedex

    Habib Abdulrab & Jean-Pierre Pécuchet

  2. Laboratoire d'Informatique de Rouen, LITP et CNRS, France

    Habib Abdulrab & Jean-Pierre Pécuchet

Authors
  1. Habib Abdulrab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Pierre Pécuchet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Nachum Dershowitz

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation