{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T07:58:37Z","timestamp":1776067117729,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s00200-026-00731-y","type":"journal-article","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:26:24Z","timestamp":1775057184000},"page":"199-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dedicated to the Memory of Joos Heintz"],"prefix":"10.1007","volume":"37","author":[{"given":"Marc","family":"Giusti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gr\u00e9goire","family":"Lecerf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo","family":"Matera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis M.","family":"Pardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,1]]},"reference":[{"issue":"1\u20132","key":"731_CR1","first-page":"96","volume":"35","author":"J Heintz","year":"1991","unstructured":"Heintz, J., Sch\u00f6nig, C.: Turcic morphology as regular language. Central Asiat. J. 35(1\u20132), 96\u2013122 (1991)","journal-title":"Central Asiat. J."},{"key":"731_CR2","unstructured":"Fitchas, N., Giusti, M., Smietanski, F.: Sur la complexit\u00e9 du th\u00e9or\u00e8me des z\u00e9ros, In: Guddat, J., et al. (eds.) Approximation and optimization, vol. 8, Conference on Non-linear Optimization and Approximation in the Caribbean. Peter Lange Verlag, Frankfurt am Main, 274\u2013329 (1995)"},{"key":"731_CR3","doi-asserted-by":"crossref","unstructured":"Heintz, J.: A new method to show lower bounds for polynomials which are hard to compute, In: Theoretical Computer Science 4th GI Conference. Springer. Lect. Notes Comput. Sci. 67, 153\u2013157 (1979)","DOI":"10.1007\/3-540-09118-1_17"},{"key":"731_CR4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J Heintz","year":"1983","unstructured":"Heintz, J.: Definability and fast quantifier Elimination in algebraically closed fields. Theoret. Comput. Sci. 24, 239\u2013277 (1983)","journal-title":"Theoret. Comput. Sci."},{"issue":"307","key":"731_CR5","first-page":"255","volume":"I","author":"L Caniglia","year":"1988","unstructured":"Caniglia, L., Galligo, A., Heintz, J.: Borne simple exponentielle pour les degr\u00e9s dans le th\u00e9or\u00e8me des z\u00e9ros sur un corps de caract\u00e9ristique quelconque. C. R. Acad. Sci. Paris S\u00e9rie I(307), 255\u2013258 (1988)","journal-title":"C. R. Acad. Sci. Paris S\u00e9rie"},{"key":"731_CR6","doi-asserted-by":"publisher","first-page":"101","DOI":"10.24033\/bsmf.2138","volume":"118","author":"J Heintz","year":"1990","unstructured":"Heintz, J., Roy, M.-F., Solern\u00f3, P.: Sur la compl\u00e9xit\u00e9 du principe Tarski-Seidenberg. Bull. Soc. Math. France 118, 101\u2013126 (1990)","journal-title":"Bull. Soc. Math. France"},{"key":"731_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.24033\/bsmf.2210","volume":"121","author":"B Bank","year":"1993","unstructured":"Bank, B., Heintz, J., Krick, T., Mandel, R., Solern\u00f3, P.: Une borne optimale pour la programmation enti\u00e8re quasiconvexe. Bull. Soc. Math. France 121, 299\u2013314 (1993)","journal-title":"Bull. Soc. Math. France"},{"key":"731_CR8","doi-asserted-by":"crossref","unstructured":"Giusti, M., Heintz, J., Morais, J.E., Pardo, L.M.: When polynomial equation systems can be solved fast?, In: Cohen, G., Giusti, M., Mora, T. (eds.) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Proc. AAECC-11. Lect. Notes in Comput. Sci. 948, Springer-Verlag, 205\u2013231 (1995)","DOI":"10.1007\/3-540-60114-7_16"},{"key":"731_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0022-4049(96)00099-0","volume":"124","author":"M Giusti","year":"1998","unstructured":"Giusti, M., Heintz, J., Morais, J.E., Morgenstern, J., Pardo, L.M.: Straight-line programs in geometric elimination theory. J. Pure Appl. Algebra 124, 101\u2013146 (1998)","journal-title":"J. Pure Appl. Algebra"},{"key":"731_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0022-4049(97)00015-7","volume":"117 & 118","author":"M Giusti","year":"1997","unstructured":"Giusti, M., H\u00e4gele, K., Heintz, J., Monta\u00f1a, J.L., Morais, J.E., Pardo, L.M.: Lower bounds for diophantine approximation. J. Pure Appl. Algebra 117 & 118, 277\u2013317 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"731_CR11","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1016\/S0764-4442(97)83558-6","volume":"325","author":"M Giusti","year":"1997","unstructured":"Giusti, M., Heintz, J., Morais, J.E., Pardo, L.M.: Le r\u00f4le des structures de donn\u00e9es dans les probl\u00e8mes d\u2019\u00e9limination. C. R. Acad. Sci. Paris, S\u00e9rie I 325, 1223\u20131228 (1997)","journal-title":"C. R. Acad. Sci. Paris, S\u00e9rie I"},{"key":"731_CR12","unstructured":"Giusti, M., Heintz, J.: La d\u00e9termination de la dimension et des points isol\u00e9s d\u2019une vari\u00e9t\u00e9 alg\u00e9brique peuvent s\u2019effectuer en temps polynomial. In: Eisenbud, D., Robbiano, L. (eds.) Computional Algebraic Geometry and Commutative Algebra, Cortona 1991, Symposia Mathematica Volume XXXIV, Cambridge University Press, Cambridge, 216\u2013256 (1993)"},{"key":"731_CR13","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1006\/jcom.2000.0571","volume":"17","author":"M Giusti","year":"2001","unstructured":"Giusti, M., Lecerf, G., Salvy, B.: A Gr\u00f6bner free alternative for polynomial system solving. J. Complex. 17, 154\u2013211 (2001)","journal-title":"J. Complex."},{"key":"731_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s002000000046","volume":"11","author":"J Heintz","year":"2001","unstructured":"Heintz, J., Matera, G., Waissbein, A.: On the time\u2013space complexity of geometric elimination procedures. Appl. Algebra Engrg. Comm. Comput. 11, 239\u2013296 (2001)","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"731_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1006\/jcom.1999.0529","volume":"16","author":"J Heintz","year":"2000","unstructured":"Heintz, J., Krick, T., Puddu, S., Sabia, J., Waissbein, A.: Deformation techniques for efficient polynomial equation solving. J. Complex. 16, 70\u2013109 (2000)","journal-title":"J. Complex."},{"key":"731_CR16","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/jcom.1999.0526","volume":"16","author":"M Aldaz","year":"2000","unstructured":"Aldaz, M., Heintz, J., Matera, G., Monta\u00f1a, J.L., Pardo, L.M.: Time-space trade-offs in algebraic complexity theory. J. Complex. 16, 2\u201349 (2000)","journal-title":"J. Complex."},{"issue":"1","key":"731_CR17","first-page":"37","volume":"1","author":"J Heintz","year":"1998","unstructured":"Heintz, J., Matera, G., Pardo, L.M., Wachenchauzer, R.: The intrinsic complexity of parametric elimination methods. Electron. J. SADIO 1(1), 37\u201351 (1998)","journal-title":"Electron. J. SADIO"},{"key":"731_CR18","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10208-002-0065-7","volume":"3","author":"D Castro","year":"2003","unstructured":"Castro, D., Giusti, M., Heintz, J., Matera, G., Pardo, L.M.: The hardness of polynomial equation solving. Found. Comput. Math. 3, 347\u2013420 (2003)","journal-title":"Found. Comput. Math."},{"key":"731_CR19","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.jco.2012.04.005","volume":"29","author":"J Heintz","year":"2013","unstructured":"Heintz, J., Kuijpers, B., Rojas Paredes, A.: Software engineering and complexity in effective algebraic geometry. J. Complex. 29, 92\u2013138 (2013)","journal-title":"J. Complex."},{"key":"731_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.jco.2010.10.003","volume":"27","author":"N Gim\u00e9nez","year":"2011","unstructured":"Gim\u00e9nez, N., Heintz, J., Matera, G., Solern\u00f3, P.: Lower complexity bounds for interpolation algorithms. J. Complex. 27, 151\u2013187 (2011)","journal-title":"J. Complex."},{"key":"731_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jco.2015.11.005","volume":"34","author":"B Bank","year":"2016","unstructured":"Bank, B., Heintz, J., Matera, G., Monta\u00f1a, J.L., Pardo, L.M., Rojas Paredes, A.: Quiz games as a model for information hiding. J. Complex. 34, 1\u201329 (2016)","journal-title":"J. Complex."},{"key":"731_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2022.101710","volume":"75","author":"J Heintz","year":"2023","unstructured":"Heintz, J., Pardo, L.M., Segura, E.C., Ocar, H., Rojas Paredes, A.: An unfeasibility view of neural network learning. J. Complex. 75, 101710 (2023)","journal-title":"J. Complex."},{"key":"731_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1006\/jcom.1997.0432","volume":"13","author":"B Bank","year":"1997","unstructured":"Bank, B., Giusti, M., Heintz, J., Mbakop, G.M.: Polar varieties, real equation solving, and data structures: the hypersurface case. J. Complex. 13, 5\u201327 (1997)","journal-title":"J. Complex."},{"key":"731_CR24","first-page":"519","volume":"40","author":"B Bank","year":"2004","unstructured":"Bank, B., Giusti, M., Heintz, J., Pardo, L.M.: Generalized polar varieties and an efficient real elimination procedure. Kybernetika 40, 519\u2013550 (2004)","journal-title":"Kybernetika"},{"key":"731_CR25","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jco.2004.10.001","volume":"21","author":"B Bank","year":"2005","unstructured":"Bank, B., Giusti, M., Heintz, J., Pardo, L.M.: Generalized polar varieties: geometry and algorithms. J. Complex. 21, 377\u2013412 (2005)","journal-title":"J. Complex."},{"key":"731_CR26","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1090\/S0025-5718-2013-02766-4","volume":"83","author":"B Bank","year":"2014","unstructured":"Bank, B., Giusti, M., Heintz, J.: Point searching in real singular complete intersection varieties: algorithms of intrinsic complexity. Math. Comp. 83, 873\u2013897 (2014)","journal-title":"Math. Comp."},{"key":"731_CR27","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00200-009-0117-1","volume":"21","author":"B Bank","year":"2010","unstructured":"Bank, B., Giusti, M., Heintz, J., Safey El Din, M., Schost, \u00c9.: On the geometry of polar varieties. Appl. Algebra in Eng. Comm. Comput. 21, 33\u201383 (2010)","journal-title":"Appl. Algebra in Eng. Comm. Comput."}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-026-00731-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00200-026-00731-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-026-00731-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T07:23:16Z","timestamp":1776064996000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00200-026-00731-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["731"],"URL":"https:\/\/doi.org\/10.1007\/s00200-026-00731-y","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3]]},"assertion":[{"value":"1 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}