{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:56:17Z","timestamp":1761947777656},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629504"},{"type":"electronic","value":"9783540690511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62950-5_83","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:02Z","timestamp":1330297082000},"page":"331-334","source":"Crossref","is-referenced-by-count":8,"title":["Opal: A system for computing noncommutative gr\u00f6bner bases"],"prefix":"10.1007","author":[{"given":"Edward L.","family":"Green","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lenwood S.","family":"Heath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin J.","family":"Keller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"M. Auslander, I. Reiten and S. O. Smal\u00f8. Representation Theory of Artin Algebras, Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511623608"},{"key":"27_CR2","unstructured":"I. Biehl, J. Buchmann and T. Papanikolaou. A Library for Computational Number Theory, Technical Report SFB 124-C1, Fabereich Informatik, Universit\u00e4t Saarlandes, 1995."},{"issue":"4","key":"27_CR3","doi-asserted-by":"crossref","first-page":"727","DOI":"10.4153\/CJM-1993-041-8","volume":"45","author":"D. R. Farkas","year":"1993","unstructured":"D. R. Farkas, C. D. Feustel and E. L. Green. \u201cSynergy in the theories of Gr\u00f6bner bases and path algebras\u201d, Canadian Journal of Mathematics, 45, 4 (1993) 727\u2013739.","journal-title":"Canadian Journal of Mathematics"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"B. Keller. \u201cAlternatives in implementing noncommutative Gr\u00f6bner basis systems\u201d, Symbolic Rewriting Techniques, Birkhauser-Verlag, (to appear).","DOI":"10.1007\/978-3-0348-8800-4_6"},{"key":"27_CR5","unstructured":"B. Keller. Algorithms and Orders for Finding Noncommutative Gr\u00f6bner Bases, Dissertation, Virginia Polytechnic Institute & State University, (in preparation)."},{"key":"27_CR6","series-title":"LNCS# 229","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-16776-5_740","volume-title":"Algebraic Algorithms and Error-Correcting Codes","author":"F. Mora","year":"1986","unstructured":"F. Mora. \u201cGroebner bases for noncommutative polynomial rings,\u201d in Algebraic Algorithms and Error-Correcting Codes, J. Calmet (ed.), LNCS# 229, Springer-Verlag, Berlin, 1986, 353\u2013362."},{"key":"27_CR7","unstructured":"D. Musser and A. Saini. STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library, Addison-Wesley, 1996."},{"issue":"4","key":"27_CR8","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1002\/spe.4380250705","volume":"25","author":"T. Parr","year":"1995","unstructured":"T. Parr and R. Quong. \u201cANTLR: A predicated-LL(k) parser generator\u201d, Software-Practice and Experience, 25, 4, (1995) 789\u2013810.","journal-title":"Software-Practice and Experience"},{"key":"27_CR9","unstructured":"B. Reinert. On Gr\u00f6bner Bases in Monoid and Group Rings, Dissertation, FB Informatik, University of Kaiserslautern, 1995."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62950-5_83.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:41:08Z","timestamp":1619574068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62950-5_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629504","9783540690511"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-62950-5_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}