{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T10:09:10Z","timestamp":1760522950333},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543459"},{"type":"electronic","value":"9783540475798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54345-7_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:41:34Z","timestamp":1330191694000},"page":"141-150","source":"Crossref","is-referenced-by-count":18,"title":["Solving systems of linear diophantine equations: An algebraic approach"],"prefix":"10.1007","author":[{"given":"Eric","family":"Domenjoud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1090\/S0002-9939-1976-0396605-3","volume":"55","author":"I. Borosh","year":"1976","unstructured":"I. Borosh and L. B. Treybig. Bounds on positive integral solutions of linear diophantine equations. Proceedings of the American Mathematical Society, 55:299\u2013304, 1976.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"A. Boudet, E. Contejean, and H. Devie. A new AC unification algorithm with a new algorithm for solving diophantine equations. In Proceedings 5th IEEE Symposium on Logic in Computer Science, Philadelphia (Pennsylvania, USA), pages 289\u2013299, 1990.","DOI":"10.1109\/LICS.1990.113755"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"A. Br\u00f8ndsted. An Introduction to Convex Polytopes, volume 90 of Graduate Texts in Mathematics. Springer-Verlag, 1983.","DOI":"10.1007\/978-1-4612-1148-8"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0747-7171(89)80025-2","volume":"8","author":"M. Clausen","year":"1989","unstructured":"M. Clausen and A. Fortenbacher. Efficient solution of linear diophantine equations. Journal of Symbolic Computation, 8:201\u2013216, 1989. Special issue on unification. Part two.","journal-title":"Journal of Symbolic Computation"},{"key":"14_CR5","unstructured":"E. Contejean and H. Devie. Solving systems of linear diophantine equations. In H.-J. B\u00fcrckert and W. Nutt, editors, Proceedings 3rd International Workshop on Unification, Lambrecht (Germany), 1989."},{"key":"14_CR6","unstructured":"A Fortenbacher. Algebraische unifikation. Diplomarbeit, Institut f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1983."},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1090\/S0002-9939-1978-0500555-0","volume":"72","author":"J. Gathen von zur","year":"1978","unstructured":"J. von zur Gathen and M. Sieveking. A bound on solutions of linear integer equalities and inequalities. Proceedings of the American Mathematical Society, 72:155\u2013158, 1978.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"14_CR8","unstructured":"T. Guckenbiehl and A. Herold. Solving linear diophantine equations. Technical Report SEKI-85-IV-KL, Universit\u00e4t Kaiserslautern, 1985."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/0020-0190(78)90078-9","volume":"7","author":"G. Huet","year":"1978","unstructured":"G. Huet. An algorithm to generate the basis of solutions to homogenous linear diophantine equations. Information Processing Letters, 7:144\u2013147, 1978.","journal-title":"Information Processing Letters"},{"key":"14_CR10","unstructured":"J.-L. Lambert. Le probl\u00e8me de l'accessibilit\u00e9 dans les r\u00e9seaux de Petri. PhD thesis, Universit\u00e9 de Paris-sud, Centre d'Orsay, 1987."},{"key":"14_CR11","unstructured":"L. Pottier. Bornes et algorithme de calcul des g\u00e9n\u00e9rateurs des solutions de syst\u00e8mes diophantiens lin\u00e9aires. Technical report, INRIA Sophia Antipolis, 1990."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"L. Pottier. Minimal solutions of linear diophantine systems: Bounds and algorithms. In R.V. Book, editor, Proceedings 4th Conference on Rewriting Techniques and Applications, Como, (Italy), volume 488 of Lecture Notes in Computer Science, pages 162\u2013173. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53904-2_94"},{"key":"14_CR13","unstructured":"J.-F. Romeuf. Solutions of a linear diophantine system, 1988. LIR & Universit\u00e9 de Rouen."},{"key":"14_CR14","unstructured":"J.-F. Romeuf. A polynomial algorithm for solving systems of two linear diophantine equations. Technical report, Laboratoire d'Informatique de Rouen (France) and LITP, 1989."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54345-7_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:44Z","timestamp":1605628424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54345-7_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543459","9783540475798"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-54345-7_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}