{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T13:27:43Z","timestamp":1776864463596,"version":"3.51.2"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319328584","type":"print"},{"value":"9783319328591","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_1","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"3-24","source":"Crossref","is-referenced-by-count":1,"title":["Current Challenges in Developing Open Source Computer Algebra Systems"],"prefix":"10.1007","author":[{"given":"Janko","family":"B\u00f6hm","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Decker","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Keicher","sequence":"additional","affiliation":[]},{"given":"Yue","family":"Ren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/S0747-7171(02)00140-2","volume":"35","author":"EA Arnold","year":"2003","unstructured":"Arnold, E.A.: Modular algorithms for computing Gr\u00f6bner bases. J. Symbolic Comput. 35(4), 403\u2013419 (2003)","journal-title":"J. Symbolic Comput."},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.jpaa.2008.06.005","volume":"213","author":"IV Arzhantsev","year":"2009","unstructured":"Arzhantsev, I.V., Hausen, J.: Geometric invariant theory via Cox rings. J. Pure Appl. Algebra 213(1), 154\u2013172 (2009)","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR3","unstructured":"Barakat, M.: Computations of unitary groups in characteristic \n                      \n                        \n                      \n                      $$2$$\n                     (2014). \n                      http:\/\/www.mathematik.uni-kl.de\/~barakat\/forJPSerre\/UnitaryGroup.pdf"},{"key":"1_CR4","first-page":"27","volume":"55","author":"R Behrends","year":"2014","unstructured":"Behrends, R.: Shared memory concurrency for GAP. Comput. Algebra Rundbrief 55, 27\u201329 (2014)","journal-title":"Comput. Algebra Rundbrief"},{"key":"1_CR5","unstructured":"Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-W., Maier, P., Trinder, P.: HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency Comput. Pract. Experience (2016). cpe.3746"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Behrends, R., Konovalov, A., Linton, S., L\u00fcbeck, F., Neunh\u00f6ffer, M.: Parallelising the computational algebra system GAP. In: Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, PASCO 2010, pp. 177\u2013178. ACM, New York (2010)","DOI":"10.1145\/1837210.1837239"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1307\/mmj\/1163789912","volume":"54","author":"F Berchtold","year":"2006","unstructured":"Berchtold, F., Hausen, J.: GIT equivalence beyond the ample cone. Michigan Math. J. 54(3), 483\u2013515 (2006)","journal-title":"Michigan Math. J."},{"key":"1_CR8","unstructured":"Bernal Guill\u00e9n, M.M.: Relations in the Cox Ring of \n                      \n                        \n                      \n                      $$\\overline{M}_{0,6}$$\n                    . Ph.D. thesis, University of Warwick (2012)"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s002220050141","volume":"128","author":"E Bierstone","year":"1997","unstructured":"Bierstone, E., Milman, P.D.: Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant. Invent. Math. 128(2), 207\u2013302 (1997)","journal-title":"Invent. Math."},{"key":"1_CR10","unstructured":"B\u00f6hm, J., Decker, W., Laplagne, S., Pfister, G.: Computing integral bases via localization and Hensel lifting (2015). \n                      http:\/\/arxiv.org\/abs\/1505.05054"},{"key":"1_CR11","unstructured":"B\u00f6hm, J., Decker, W., Laplagne, S., Pfister, G.: Local to global algorithms for the Gorenstein adjoint ideal of a curve (2015). \n                      http:\/\/arxiv.org\/abs\/1505.05040"},{"key":"1_CR12","unstructured":"B\u00f6hm, J., Decker, W., Laplagne, S., Pfister, G., Steenpa\u00df, A., Steidel, S.: locnormal.lib - A Singular library for a local-to-global approach to normalization (2013). Available in the Singular distribution, \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR13","unstructured":"B\u00f6hm, J., Decker, W., Laplagne, S., Pfister, G., Steenpa\u00df, A., Steidel, S.: modnormal.lib - A Singular library for a modular approach to normalization (2013). Available in the Singular distribution, \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jsc.2012.07.002","volume":"51","author":"J B\u00f6hm","year":"2013","unstructured":"B\u00f6hm, J., Decker, W., Laplagne, S., Pfister, G., Steenpa\u00df, A., Steidel, S.: Parallel algorithms for normalization. J. Symbolic Comput. 51, 99\u2013114 (2013)","journal-title":"J. Symbolic Comput."},{"key":"1_CR15","unstructured":"B\u00f6hm, J., Decker, W., Laplagne, S., Seelisch, F.: paraplanecurves.lib - A Singular library for the parametrization of rational curves (2013). Available in the Singular distribution, \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR16","unstructured":"B\u00f6hm, J., Keicher, S., Ren, Y.: gitfan.lib - A Singular library for computing the GIT fan (2015). Available in the Singular distribution, \n                      http:\/\/www.mathematik.uni-kl.de\/~boehm\/gitfan"},{"key":"1_CR17","unstructured":"B\u00f6hm, J., Keicher, S., Ren, Y.: Computing GIT-fans with symmetry and the Mori chamber decomposition of \n                      \n                        \n                      \n                      $$\\overline{M}_{0,6}$$\n                     (2016)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Boku, D.K., Decker, W., Fieker, C., Steenpass, A.: Gr\u00f6bner bases over algebraic number fields. In: Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO 2015, pp. 16\u201324. ACM, New York (2015)","DOI":"10.1145\/2790282.2790284"},{"issue":"3\u20134","key":"1_CR19","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1006\/jsco.1996.0125","volume":"24","author":"W Bosma","year":"1997","unstructured":"Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system I: The user language. J. Symbolic Comput. 24(3\u20134), 235\u2013265 (1997). Computational algebra and number theory (London, 1993)","journal-title":"J. Symbolic Comput."},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"349","DOI":"10.4171\/RMI\/425","volume":"21","author":"AM Bravo","year":"2005","unstructured":"Bravo, A.M., Encinas, S., Villamayor U., O.: A simplified proof of desingularization and applications. Rev. Mat. Iberoamericana 21(2), 349\u2013458 (2005)","journal-title":"Rev. Mat. Iberoamericana"},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1016\/j.jalgebra.2010.01.031","volume":"324","author":"W Bruns","year":"2010","unstructured":"Bruns, W., Ichim, B.: Normaliz: algorithms for affine monoids and rational cones. J. Algebra 324(5), 1098\u20131113 (2010)","journal-title":"J. Algebra"},{"key":"1_CR22","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Rest-klassenring nach einem nulldimensionalen Polynomideal. Dissertation, Universit\u00e4t Innsbruck (1965)"},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/jsco.1998.0211","volume":"26","author":"T Jong de","year":"1998","unstructured":"de Jong, T.: An algorithm for computing the integral closure. J. Symbolic Comput. 26(3), 273\u2013277 (1998)","journal-title":"J. Symbolic Comput."},{"key":"1_CR24","series-title":"Progress in Mathematics","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-0348-8716-8_9","volume-title":"Computational Methods for Representations of Groups and Algebras","author":"W Decker","year":"1999","unstructured":"Decker, W., de Jong, T., Greuel, G.-M., Pfister, G.: The normalization: a new algorithm, implementation and comparisons. In: Dr\u00e4xler, P., Ringel, C.M., Michler, G.O. (eds.) Computational Methods for Representations of Groups and Algebras. Progress in Mathematics, vol. 173, pp. 177\u2013185. Birkh\u00e4user, Basel (1999)"},{"key":"1_CR25","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 4-0-2 \u2014 A computer algebra system for polynomial computations (2015). \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02698859","volume":"87","author":"IV Dolgachev","year":"1998","unstructured":"Dolgachev, I.V., Hu, Y.: Variation of geometric invariant theory quotients. (With an appendix: \u201cAn example of a thick wall\u201d by Nicolas Ressayre). Publ. Math. Inst. Hautes \u00c9tud. Sci. 87, 5\u201356 (1998)","journal-title":"Publ. Math. Inst. Hautes \u00c9tud. Sci."},{"key":"1_CR27","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative Algebra: With a View Toward Algebraic Geometry","author":"D Eisenbud","year":"1995","unstructured":"Eisenbud, D.: Commutative Algebra: With a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)"},{"key":"1_CR28","series-title":"Graduate Texts in Mathematics","volume-title":"The Geometry of Syzygies: A Second Course in Commutative Algebra and Algebraic Geometry","author":"D Eisenbud","year":"2005","unstructured":"Eisenbud, D.: The Geometry of Syzygies: A Second Course in Commutative Algebra and Algebraic Geometry. Graduate Texts in Mathematics, vol. 229. Springer, New York (2005)"},{"issue":"11","key":"1_CR29","doi-asserted-by":"publisher","first-page":"4397","DOI":"10.1090\/S0002-9947-03-03291-4","volume":"355","author":"D Eisenbud","year":"2003","unstructured":"Eisenbud, D., Fl\u00f8ystad, G., Schreyer, F.-O.: Sheaf cohomology and free resolutions over exterior algebras. Trans. Am. Math. Soc. 355(11), 4397\u20134426 (2003)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"1_CR30","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/PL00012443","volume":"77","author":"S Encinas","year":"2002","unstructured":"Encinas, S., Hauser, H.: Strong resolution of singularities in characteristic zero. Comment. Math. Helv. 77(4), 821\u2013845 (2002)","journal-title":"Comment. Math. Helv."},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.jsc.2015.07.004","volume":"74","author":"B Erocal","year":"2016","unstructured":"Erocal, B., Motsak, O., Schreyer, F.-O., Steenpass, A.: Refined algorithms to compute syzygies. J. Symb. Comput 74, 308\u2013327 (2016)","journal-title":"J. Symb. Comput"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Fr\u00fchbis-Kr\u00fcger, A.: Computational aspects of singularities. In: Singularities in Geometry and Topology, pp. 253\u2013327. World Sci. Publ., Hackensack (2007)","DOI":"10.1142\/9789812706812_0008"},{"key":"1_CR33","unstructured":"Fr\u00fchbis-Kr\u00fcger, A.: resolve.lib - A Singular library for the resolution of singularities (2015). Available in the Singular distribution, \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR34","unstructured":"The GAP Group. GAP - Groups, Algorithms, and Programming, Version 4.7.9 (2015)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-0348-8438-9_2","volume-title":"Polytopes \u2013 Combinatorics and Computation","author":"E Gawrilow","year":"2000","unstructured":"Gawrilow, E., Joswig, M.: Polymake: a framework for analyzing convex polytopes. In: Kalai, G., Ziegler, G.M. (eds.) Polytopes \u2013 Combinatorics and Computation, pp. 43\u201374. Birkh\u00e4user, Basel (2000)"},{"key":"1_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-65033-8","volume-title":"Analytische Stellenalgebren","author":"H Grauert","year":"1971","unstructured":"Grauert, H., Remmert, R., Stellenalgebren, A.: Analytische Stellenalgebren. Springer, New York (1971). Unter Mitarbeit von O. Riemenschneider, Die Grundlehren der"},{"key":"1_CR37","unstructured":"Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. \n                      http:\/\/www.math.uiuc.edu\/Macaulay2\/"},{"issue":"9","key":"1_CR38","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1016\/j.jsc.2010.04.002","volume":"45","author":"G-M Greuel","year":"2010","unstructured":"Greuel, G.-M., Laplagne, S., Seelisch, F.: Normalization of rings. J. Symbolic Comput. 45(9), 887\u2013901 (2010)","journal-title":"J. Symbolic Comput."},{"key":"1_CR39","unstructured":"Greuel, G.-M., Laplagne, S., Seelisch, F.: normal.lib - A Singular library for normalization (2010). Available in the Singular distribution, \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/j.ejc.2013.10.001","volume":"36","author":"S Hampe","year":"2014","unstructured":"Hampe, S.: a-tint: a polymake extension for algorithmic tropical intersection theory. European J. Combin. 36, 579\u2013607 (2014)","journal-title":"European J. Combin."},{"key":"1_CR41","first-page":"10","volume":"56","author":"B Hart","year":"2015","unstructured":"Hart, B.: ANTIC: Algebraic number theory in C. Comput. Algebra Rundbrief 56, 10\u201312 (2015)","journal-title":"Comput. Algebra Rundbrief"},{"key":"1_CR42","unstructured":"Hart, W., Johansson, F., Pancratz, S.: FLINT: Fast Library for Number Theory (2013). Version 2.4.0, \n                      http:\/\/flintlib.org"},{"key":"1_CR43","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Integral Closure of Ideals, Rings, and Modules","author":"C Huneke","year":"2006","unstructured":"Huneke, C., Swanson, I.: Integral Closure of Ideals, Rings, and Modules. London Mathematical Society Lecture Note Series, vol. 336. Cambridge University Press, Cambridge (2006)"},{"issue":"7","key":"1_CR44","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1142\/S0218196712500646","volume":"22","author":"S Keicher","year":"2012","unstructured":"Keicher, S.: Computing the GIT-fan. Internat. J. Algebra Comput. 22(7), 11 (2012). Article ID 1250064","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR45","unstructured":"Ren, Y.: polymake.so - A Singular module for interfacing with polymake (2015). Available in the Singular distribution, \n                      http:\/\/www.singular.uni-kl.de"},{"key":"1_CR46","unstructured":"Schreyer, F.-O.: Die Berechnung von Syzygien mit dem verallgemeinerten Weierstra\u00dfschen Divisionssatz und eine Anwendung auf analytische Cohen-Macaulay-Stellenalgebren minimaler Multiplizit\u00e4t. Diploma thesis, Universit\u00e4t Hamburg (1980)"},{"issue":"2","key":"1_CR47","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/s00031-014-9269-6","volume":"19","author":"J-P Serre","year":"2014","unstructured":"Serre, J.-P.: Bases normales autoduales et groupes unitaires en caract\u00e9ristique 2. Transform. Groups 19(2), 643\u2013698 (2014)","journal-title":"Transform. Groups"},{"key":"1_CR48","unstructured":"Steenpa\u00df, A.: parallel.lib - A Singular library for parallel computations (2015). Available in the Singular distribution, \n                      https:\/\/www.singular.uni-kl.de"},{"key":"1_CR49","unstructured":"The homalg project authors. The \n                      \n                        \n                      \n                      $$\\mathtt{{homalg}}$$\n                     project - Algorithmic Homological Algebra (2003\u20132014). \n                      http:\/\/homalg.math.rwth-aachen.de\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:27:59Z","timestamp":1559420879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}