{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:19Z","timestamp":1725798199206},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_58","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T18:17:11Z","timestamp":1406830631000},"page":"374-381","source":"Crossref","is-referenced-by-count":0,"title":["Groebner Bases in Theorema"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Buchberger","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Maletzky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal). PhD thesis, Mathematical Institute, University of Innsbruck, Austria (1965), English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions 41(3-4), 475\u2013511 (2006)","DOI":"10.1016\/j.jsc.2005.09.007"},{"key":"58_CR2","unstructured":"Buchberger, B.: A Critical-Pair\/Completion Algorithm in Reduction Rings. RISC Report Series 83-21, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria (1983)"},{"key":"58_CR3","first-page":"1","volume-title":"Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, Shonan Village Center)","author":"B. Buchberger","year":"1996","unstructured":"Buchberger, B.: Mathematica as a Rewrite Language. In: Ida, T., Ohori, A., Takeichi, M. (eds.) Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, Shonan Village Center), November 1-4, pp. 1\u201313. World Scientific, Singapore (1996)"},{"key":"58_CR4","unstructured":"Buchberger, B.: Introduction to Groebner Bases. London Mathematical Society Lectures Notes Series, vol. 251. Cambridge University Press (April 1998)"},{"key":"58_CR5","unstructured":"Buchberger, B.: Groebner Rings in Theorema: A Case Study in Functors and Categories. Technical Report 2003-49, Johannes Kepler University Linz, Spezialforschungsbereich F013 (November 2003)"},{"issue":"1","key":"58_CR6","first-page":"65","volume":"98","author":"B. Buchberger","year":"2004","unstructured":"Buchberger, B.: Towards the Automated Synthesis of a Groebner Bases Algorithm. RACSAM - Revista de la Real Academia de Ciencias (Review of the Spanish Royal Academy of Science), Serie A: Mathematicas\u00a098(1), 65\u201375 (2004)","journal-title":"RACSAM - Revista de la Real Academia de Ciencias (Review of the Spanish Royal Academy of Science), Serie A: Mathematicas"},{"issue":"4","key":"58_CR7","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.jal.2005.10.006","volume":"4","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B., Cr\u01ceciun, A., Jebelean, T., Kovcs, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic\u00a04(4), 470\u2013504 (2006)","journal-title":"Journal of Applied Logic"},{"key":"58_CR8","unstructured":"CoCoA system, \n                    \n                      cocoa.dima.unige.it"},{"key":"58_CR9","unstructured":"Magma Computational Algebra System, \n                    \n                      magma.maths.usyd.edu.au\/magma\/"},{"key":"58_CR10","unstructured":"Maple system, \n                    \n                      www.maplesoft.com\/products\/Maple\/"},{"key":"58_CR11","unstructured":"Wolfram Mathematica, \n                    \n                      http:\/\/www.wolfram.com\/mathematica\/"},{"key":"58_CR12","unstructured":"Sage system, \n                    \n                      http:\/\/www.sagemath.org"},{"key":"58_CR13","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-6 \u2014 A computer algebra system for polynomial computations (2012), \n                    \n                      www.singular.uni-kl.de"},{"issue":"3","key":"58_CR14","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/S0747-7171(87)80012-3","volume":"4","author":"S. Stifter","year":"1988","unstructured":"Stifter, S.: A Generalization of Reduction Rings. Journal of Symbolic Computation\u00a04(3), 351\u2013364 (1988)","journal-title":"Journal of Symbolic Computation"},{"issue":"89-18","key":"58_CR15","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0021-8693(91)90166-6","volume":"140","author":"S. Stifter","year":"1991","unstructured":"Stifter, S.: The Reduction Ring Property is Hereditary. Journal of Algebra\u00a0140(89-18), 399\u2013414 (1991)","journal-title":"Journal of Algebra"},{"key":"58_CR16","unstructured":"Theorema system, \n                    \n                      http:\/\/www.risc.jku.at\/research\/theorema\/description\/"},{"key":"58_CR17","doi-asserted-by":"crossref","unstructured":"Windsteiger, W.: Building Up Hierarchical Mathematical Domains Using Functors in THEOREMA. In: Armando, A., Jebelean, T. (eds.) Electronic Notes in Theoretical Computer Science. ENTCS, vol.\u00a023, pp. 401\u2013419. Elsevier (1999)","DOI":"10.1016\/S1571-0661(05)80612-7"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:14:27Z","timestamp":1558948467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}