{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T04:25:22Z","timestamp":1777091122220,"version":"3.51.4"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T00:00:00Z","timestamp":1593993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T00:00:00Z","timestamp":1593993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high-performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this principle in the context of computer algebra. More precisely, we combine two well-established systems: The mathematics we are interested in is implemented in the computer algebra system <jats:sc>Singular<\/jats:sc>, whose focus is on polynomial computations, while the coordination is left to the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language and has been successfully used for coordinating the parallel execution (autoparallelization) of academic codes as well as for commercial software in application areas such as seismic data processing. The result of our efforts is a major step towards a framework for massively parallel computations in the application areas of <jats:sc>Singular<\/jats:sc>, specifically in commutative algebra and algebraic geometry. As a first test case for this framework, we have modeled and implemented a hybrid smoothness test for algebraic varieties which combines ideas from Hironaka\u2019s celebrated desingularization proof with the classical Jacobian criterion. Applying our implementation to two examples originating from current research in algebraic geometry, one of which cannot be handled by other means, we illustrate the behavior of the smoothness test within our framework and investigate how the computations scale up to 256 cores.<\/jats:p>","DOI":"10.1007\/s10208-020-09464-x","type":"journal-article","created":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T20:03:33Z","timestamp":1594065813000},"page":"767-806","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Towards Massively Parallel Computations in Algebraic Geometry"],"prefix":"10.1007","volume":"21","author":[{"given":"Janko","family":"B\u00f6hm","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Decker","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Fr\u00fchbis-Kr\u00fcger","sequence":"additional","affiliation":[]},{"given":"Franz-Josef","family":"Pfreundt","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Rahn","sequence":"additional","affiliation":[]},{"given":"Lukas","family":"Ristau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,6]]},"reference":[{"key":"9464_CR1","doi-asserted-by":"crossref","unstructured":"Backus, J., Can Programming Be Liberated from the von Neumann Style? A functional Style and Its Algebra of Programs, 1977 Turing Award Lecture, Comm. ACM 21(8), 613\u2013641 (1978).","DOI":"10.1145\/359576.359579"},{"key":"9464_CR2","doi-asserted-by":"crossref","unstructured":"Barth, W. P.; Hulek, K.; Peters, Chris A. M.; Van de Ven, A., Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 4. Springer (2004).","DOI":"10.1007\/978-3-642-57739-0"},{"key":"9464_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, Ingrid; Catanese, Fabrizio, Surfaces of general type with geometric genus zero: a survey, in Complex and differential geometry. Conference held at Leibniz Universit\u00e4t Hannover, Germany, September 14\u201318, 2009. Proceedings, Springer Proc. Math. 8, 1\u201348 (2011)","DOI":"10.1007\/978-3-642-20300-8_1"},{"key":"9464_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s002220050141","volume":"128","author":"E Bierstone","year":"1997","unstructured":"Bierstone, E.; Milman, P., Canonical Desingularization in Characteristic Zero by Blowing up the Maximum Strata of a Local Invariant, Invent. Math. 128, 207\u2013302 (1997)","journal-title":"Invent. Math."},{"key":"9464_CR5","doi-asserted-by":"publisher","first-page":"3013","DOI":"10.1090\/mcom\/2951","volume":"84","author":"J B\u00f6hm","year":"2015","unstructured":"B\u00f6hm, J.; Decker, W.; Fieker, C.; Pfister, G., The use of bad primes in rational reconstruction, Math. Comp. 84, 3013\u20133027 (2015).","journal-title":"Math. Comp."},{"key":"9464_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, J.; Decker, W.; Laplagne, S.; Pfister, G., Local to global algorithms for the Gorenstein adjoint ideal of a curve in B\u00f6ckle et al. (ed.) Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory, 51\u201396, Springer (2018).","DOI":"10.1007\/978-3-319-70566-8_3"},{"key":"9464_CR7","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":"9464_CR8","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.jsc.2017.05.001","volume":"86","author":"J B\u00f6hm","year":"2018","unstructured":"B\u00f6hm, J.; Fr\u00fchbis-Kr\u00fcger, A., A smoothness test for higher codimensions, J. Symbolic Comput. 86, 153\u2013165 (2018).","journal-title":"J. Symbolic Comput."},{"key":"9464_CR9","unstructured":"B\u00f6hm, J.; Fr\u00fchbis-Kr\u00fcger, A., smoothtst.lib - A Singular library for determining smoothness of algebraic varieties. Singular distribution, http:\/\/www.singular.uni-kl.de."},{"key":"9464_CR10","doi-asserted-by":"publisher","first-page":"6","DOI":"10.2140\/jsag.2012.4.6","volume":"4","author":"J B\u00f6hm","year":"2012","unstructured":"B\u00f6hm, J.; Papadakis, S., Implementing the Kustin\u2013Miller complex construction, J. Softw. Algebra Geom. 4, 6-11 (2012).","journal-title":"J. Softw. Algebra Geom."},{"key":"9464_CR11","unstructured":"B\u00f6hm J.; Papadakis S., KustinMiller \u2013 The Kustin-Miller complex construction and resolutions of Gorenstein rings, Macaulay2 package (2012)."},{"issue":"5","key":"9464_CR12","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s00287-006-0107-7","volume":"29","author":"W Brauer","year":"2006","unstructured":"Brauer, W.; Reisig, W., Carl Adam Petri und die \u201cPetrinetze\u201d, Informatik-Spektrum 29(5), 369\u2013381 (2006).","journal-title":"Informatik-Spektrum"},{"issue":"2","key":"9464_CR13","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, O., A Simplified Proof of Desingularization and Applications. Rev. Mat. Iberoamericana 21, no. 2, 349\u2013458 (2005).","journal-title":"Rev. Mat. Iberoamericana"},{"key":"9464_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608681","volume-title":"Cohen-Macaulay Rings, revised edition, Cambridge Studies in Advanced Mathematics 39","author":"W Bruns","year":"1998","unstructured":"Bruns W.; Herzog J., Cohen-Macaulay Rings, revised edition, Cambridge Studies in Advanced Mathematics 39, Cambridge University Press, Cambridge (1998)."},{"key":"9464_CR15","unstructured":"Decker, W.; Greuel, G.-M.; Pfister, G.; Sch\u00f6nemann, H., Singular 4-1-3 \u2014 A computer algebra system for polynomial computations. http:\/\/www.singular.uni-kl.de."},{"issue":"1","key":"9464_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1177\/1094342010391989","volume":"25","author":"J Dongarra","year":"2011","unstructured":"Dongarra, J.; Beckmann, P., The international Exascale Software Roadmap, International Journal of High Performance Computer Applications. Volume 25(1), 3\u201360 (2011).","journal-title":"International Journal of High Performance Computer Applications."},{"key":"9464_CR17","doi-asserted-by":"crossref","unstructured":"Eisenbud, D., Commutative algebra. With a view toward algebraic geometry. Springer (1995).","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"9464_CR18","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, 821\u2013845 (2002).","journal-title":"Comment. Math. Helv."},{"key":"9464_CR19","doi-asserted-by":"crossref","unstructured":"Fr\u00fchbis-Kr\u00fcger, A., Computational Aspects of Singularities, in J.-P. Brasselet, J. Damon et al.: Singularities in Geometry and Topology, World Scientific Publishing, 253\u2013327 (2007).","DOI":"10.1142\/9789812706812_0008"},{"issue":"2","key":"9464_CR20","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D.; Carriero, N., Coordination languages and their significance, Comm. ACM 35(2), 97\u2013107 (1992).","journal-title":"Comm. ACM"},{"issue":"3","key":"9464_CR21","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01390081","volume":"43","author":"D Gieseker","year":"1977","unstructured":"Gieseker, D., Global moduli for surfaces of general type, Invent. Math. 43, no. 3, 233\u2013282 (1977).","journal-title":"Invent. Math."},{"key":"9464_CR22","doi-asserted-by":"crossref","unstructured":"Giraud, J., Contact maximal en caract\u00e9ristique positive, Ann. Sci. \u00c9c. Norm. Sup.$$4^{\\grave{e}\\text{me}}$$ s\u00e9rie 8, 201\u2013234 (1975).","DOI":"10.24033\/asens.1286"},{"key":"9464_CR23","unstructured":"Greuel, G.-M.; Pfister, G., A Singular Introduction to Commutative Algebra. Springer (2008)."},{"key":"9464_CR24","unstructured":"Hauser, H., Why the characteristic zero proof of resolution of singularities fails in positive characteristic, Manuscript (2003), https:\/\/homepage.univie.ac.at\/herwig.hauser\/"},{"key":"9464_CR25","unstructured":"Heiner, M.; Popova-Zeugmann, L., Worst Case Analysis of Concurrent Systems with Duration Interval Petri Nets, Professoren des Inst. f\u00fcr Informatik; 1997 May."},{"key":"9464_CR26","doi-asserted-by":"crossref","unstructured":"Hironaka, H., Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math. (2) 79, 109\u2013203, 205\u2013326 (1964).","DOI":"10.2307\/1970547"},{"issue":"1","key":"9464_CR27","first-page":"19","volume":"7","author":"H Hironaka","year":"1967","unstructured":"Hironaka, H., On the characters$$\\nu ^\\star $$ and $$\\tau ^\\star $$of singularities. J. Math. Kyoto Univ. Volume 7, Number 1, 19-43 (1967).","journal-title":"J. Math. Kyoto Univ."},{"issue":"2","key":"9464_CR28","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J Hughes","year":"1989","unstructured":"Hughes, J., Why Functional Programming Matters, Computer Journal 32(2), 98\u2013107 (1989).","journal-title":"Computer Journal"},{"key":"9464_CR29","unstructured":"INRIA, StarPU, http:\/\/starpu.gforge.inria.fr (2016)."},{"key":"9464_CR30","doi-asserted-by":"crossref","unstructured":"Jensen, K., Coloured Petri Nets. Volume 1. Springer (1992).","DOI":"10.1007\/978-3-662-06289-0_1"},{"issue":"2","key":"9464_CR31","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R. M.; Miller, R. E., Parallel program schemata, J. Comput. Syst. Sci., 3(2):147\u2013195 (1969).","journal-title":"J. Comput. Syst. Sci."},{"key":"9464_CR32","doi-asserted-by":"crossref","unstructured":"Kosaraju, S. R., Decidability of reachability in vector addition systems (preliminary version). STOC, 267\u2013281. ACM (1982).","DOI":"10.1145\/800070.802201"},{"key":"9464_CR33","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0021-8693(83)90096-0","volume":"85","author":"A Kustin","year":"1983","unstructured":"Kustin, A.; Miller, M., Constructing big Gorenstein ideals from small ones, J. Algebra 85, 303-322 (1983).","journal-title":"J. Algebra"},{"key":"9464_CR34","unstructured":"Labarta, J., The OmpSs Programming Model, http:\/\/www.par.univie.ac.at\/project\/peppher\/hipeac12\/slides\/Jesus_Labarta.pdf (2012)."},{"issue":"1","key":"9464_CR35","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0304-3975(92)90173-D","volume":"99","author":"JL Lambert","year":"1992","unstructured":"Lambert, J. L., A structure to decide reachability in Petri nets, TCS, 99(1), 79\u2013104 (1992).","journal-title":"TCS"},{"issue":"07","key":"9464_CR36","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1142\/S0218196715500332","volume":"25","author":"MS Marais","year":"2015","unstructured":"Marais, M. S.; Ren, Y., Mora\u2019s holy grail: Algorithms for computing in localizations at prime ideals, Internat. J. Algebra Comput. 25:07, 1125-1143 (2015).","journal-title":"Internat. J. Algebra Comput."},{"key":"9464_CR37","doi-asserted-by":"crossref","unstructured":"Mayr, E. W., An algorithm for the general Petri net reachability problem, STOC, 238\u2013246. ACM (1981).","DOI":"10.1145\/800076.802477"},{"key":"9464_CR38","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"EW Mayr","year":"1982","unstructured":"Mayr, E. W.; Meyer, A. R., The complexity of the word problems for commutative semigroups and polynomial ideals. Adv. Math 46, 305\u2013329 (1982).","journal-title":"Adv. Math"},{"key":"9464_CR39","doi-asserted-by":"crossref","unstructured":"Mora, T., An algorithm to compute the equations of tangent cones, in: Proceedings EUROCAM 82, Springer, 158\u2013165 (1982).","DOI":"10.1007\/3-540-11607-9_18"},{"key":"9464_CR40","doi-asserted-by":"crossref","unstructured":"Mora, T., La queste del Saint Gra(AL): A computational approach to local algebra, Discrete Appl. Math. 33, 161\u2013190 (1991).","DOI":"10.1016\/0166-218X(91)90114-C"},{"key":"9464_CR41","doi-asserted-by":"publisher","first-page":"4999","DOI":"10.1090\/S0002-9947-09-04716-3","volume":"361","author":"J Neves","year":"2009","unstructured":"Neves, J.; Papadakis, S., A construction of numerical Campedelli surfaces with ZZ\/6 torsion, Trans. Amer. Math. Soc. 361, 4999-5021 (2009).","journal-title":"Trans. Amer. Math. Soc."},{"key":"9464_CR42","unstructured":"Petri, C.\u00a0A., Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut f\u00fcr instrumentelle Mathematik, Bonn (1962)."},{"key":"9464_CR43","unstructured":"Pfreundt, F.-J.; Rahn, M.; et al., GPI-space, Fraunhofer ITWM Kaiserslautern, http:\/\/www.gpi-space.de\/."},{"key":"9464_CR44","doi-asserted-by":"crossref","unstructured":"Priese, L.; Wimmel, H., Petri-Netze. Springer (2003).","DOI":"10.1007\/978-3-662-10427-9_6"},{"key":"9464_CR45","unstructured":"Reid, M., Godeaux and Campedelli surfaces, https:\/\/homepages.warwick.ac.uk\/~masda\/surf\/more\/Godeaux.pdf"},{"key":"9464_CR46","unstructured":"Schreyer, F.-O., An experimental approach to numerical Godeaux surfaces, in Oberwolfach Report 7\/2005, Komplexe Algebraische Geometrie, 434\u2013436 (2005)."},{"key":"9464_CR47","unstructured":"Software for Exascale Computing. Proposal to the German research Foundation to establish a Priority Program in the multidisciplinary field of High Performance Computing."},{"key":"9464_CR48","unstructured":"University of Tennessee, PaRSEC, http:\/\/icl.cs.utk.edu\/parsec\/overview\/index.html (2016)."},{"key":"9464_CR49","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.\u00a0M.\u00a0P., Three Good reasons for Using a Petri-net-based Workflow Management System, Proc. of the International Working Conference on Information and Process Integration in Enterprises (IPIC\u201996), 161\u2013182 (1996).","DOI":"10.1007\/978-1-4615-5499-8_10"},{"key":"9464_CR50","doi-asserted-by":"crossref","unstructured":"Villamayor, O., Constructiveness of Hironaka\u2019s resolution, Ann. Sci. Ecole Norm Sup. (4) 22, no. 1, 1\u201332 (1989).","DOI":"10.24033\/asens.1573"},{"key":"9464_CR51","doi-asserted-by":"crossref","unstructured":"Zariski, O.; Samuel, P., Commutative Algebra. Vols. I and II. Corr. 2nd printing of the 1958\u20131960 edition. Springer (1975\u20131976).","DOI":"10.1007\/978-3-662-29244-0"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-020-09464-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10208-020-09464-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-020-09464-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,10]],"date-time":"2022-03-10T21:02:57Z","timestamp":1646946177000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10208-020-09464-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,6]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9464"],"URL":"https:\/\/doi.org\/10.1007\/s10208-020-09464-x","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,6]]},"assertion":[{"value":"4 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 February 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}