{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T00:05:43Z","timestamp":1767917143668,"version":"3.49.0"},"reference-count":64,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100003407","name":"MIUR","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1016\/j.jsc.2014.09.005","type":"journal-article","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T16:03:26Z","timestamp":1411142606000},"page":"87-108","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":16,"special_numbering":"P2","title":["Term-ordering free involutive bases"],"prefix":"10.1016","volume":"68","author":[{"given":"Michela","family":"Ceria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teo","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margherita","family":"Roggero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2014.09.005_br0030","first-page":"35","article-title":"The Computation of Gr\u00f6bner Bases Using an Alternative Algorithm","volume":"vol. 15","author":"Apel","year":"1991"},{"key":"10.1016\/j.jsc.2014.09.005_br0020","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1006\/jsco.1995.1026","article-title":"A Gr\u00f6bner approach to involutive bases","volume":"19","author":"Apel","year":"1995","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0010","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1006\/jsco.1997.0194","article-title":"The theory of involutive divisions and an application to Hilbert function computations","volume":"25","author":"Apel","year":"1998","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0040","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1016\/j.jalgebra.2005.05.020","article-title":"Saturation and Castelnuovo\u2013Mumford regularity","volume":"303","author":"Bermejo","year":"2006","journal-title":"J. Algebra"},{"key":"10.1016\/j.jsc.2014.09.005_br0050","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/j.jsc.2012.07.006","article-title":"Upgraded methods for the effective computation of marked schemes on a strongly stable ideal","volume":"50","author":"Bertone","year":"2013","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0060","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.jsc.2013.01.001","article-title":"A Borel open cover of the Hilbert scheme","volume":"53","author":"Bertone","year":"2013","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0070","series-title":"Proc. ISSAC '95","first-page":"158","article-title":"Representation for the radical of a finitely generated differential ideal","author":"Boulier","year":"1995"},{"key":"10.1016\/j.jsc.2014.09.005_br0640","article-title":"Extensors and the Hilbert scheme","author":"Brachat","year":"2014","journal-title":"Ann. Sc. Norm. Super. Pisa Cl. Sci."},{"key":"10.1016\/j.jsc.2014.09.005_br0080","doi-asserted-by":"crossref","first-page":"241","DOI":"10.24033\/asens.495","article-title":"Sur l'int\u00e9gration des syst\u00e8mes d'\u00e9quations aux diff\u00e9rentielles totals","volume":"18","author":"Cartan","year":"1901","journal-title":"Ann. \u00c9c. Norm. 3e s\u00e9r."},{"key":"10.1016\/j.jsc.2014.09.005_br0090","doi-asserted-by":"crossref","first-page":"153","DOI":"10.24033\/asens.538","article-title":"Sur la structure des groupes infinis de transformations","volume":"21","author":"Cartan","year":"1904","journal-title":"Ann. \u00c9c. Norm. 3e s\u00e9r."},{"key":"10.1016\/j.jsc.2014.09.005_br0100","first-page":"356","article-title":"Sur les syst\u00e8mes en involution d'\u00e9quations aux d\u00e9riv\u00e9es partielles du second ordre \u00e0 une fonction inconnue de trois variables ind\u00e9pendentes","volume":"39","author":"Cartan","year":"1920","journal-title":"Bull. Soc. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0110","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.1112\/S0010437X05001600","article-title":"Characteristic-free bounds for the Castelnuovo\u2013Mumford regularity","volume":"141","author":"Caviglia","year":"2014","journal-title":"Compos. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0120","unstructured":"Ceria, M., 2012a. JMBTest.lib. A library for singular which performs JM basis test."},{"key":"10.1016\/j.jsc.2014.09.005_br0130","unstructured":"Ceria, M., 2012b. JMSConst.lib. A library for singular which constructs J-marked schemes."},{"issue":"9","key":"10.1016\/j.jsc.2014.09.005_br0140","doi-asserted-by":"crossref","first-page":"1070","DOI":"10.1016\/j.jsc.2011.05.009","article-title":"Flat families by strongly stable ideals and a generalization of Gr\u00f6bner bases","volume":"46","author":"Cioffi","year":"2011","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0150","doi-asserted-by":"crossref","first-page":"421","DOI":"10.24033\/asens.434","article-title":"Extension du th\u00e9or\u00e8me de Cauchy aux syst\u00e8mes les plus g\u00e9n\u00e9raux d'\u00e9quations aux d\u00e9riv\u00e9es partielles","volume":"13","author":"Delassus","year":"1896","journal-title":"Ann. \u00c9c. Norm. 3e s\u00e9r."},{"issue":"1","key":"10.1016\/j.jsc.2014.09.005_br0160","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0021-8693(90)90237-I","article-title":"Minimal resolutions of some monomial ideals","volume":"129","author":"Eliahou","year":"1990","journal-title":"J. Algebra"},{"key":"10.1016\/j.jsc.2014.09.005_br0170","doi-asserted-by":"crossref","first-page":"334","DOI":"10.5486\/PMD.1956.4.3-4.28","article-title":"On the structure of ordered real vector spaces","volume":"4","author":"Erd\u00f6s","year":"1956","journal-title":"Publ. Math. (Debr.)"},{"key":"10.1016\/j.jsc.2014.09.005_br0180","doi-asserted-by":"crossref","first-page":"107","DOI":"10.5802\/aif.745","article-title":"Theoreme de Division et stabilit\u00e9 en g\u00e9ometrie analytique","volume":"29","author":"Galligo","year":"1979","journal-title":"Ann. Inst. Fourier"},{"key":"10.1016\/j.jsc.2014.09.005_br0200","series-title":"Computer Algebra in Scientific Computing\u2013CASC 2000","first-page":"167","article-title":"On the relation between Pommaret bases and Janet bases","author":"Gerdt","year":"2000"},{"key":"10.1016\/j.jsc.2014.09.005_br0190","series-title":"Computational Commutative and Non-Commutative Algebraic Geometry","first-page":"199","article-title":"Involutive algorithms for computing Gr\u00f6bner bases","author":"Gerdt","year":"2005"},{"key":"10.1016\/j.jsc.2014.09.005_br0210","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s10440-008-9202-x","article-title":"On decomposition of algebraic PDE systems into simple sub-systems","volume":"101","author":"Gerdt","year":"2008","journal-title":"Acta Appl. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0220","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/S0378-4754(97)00128-6","article-title":"Involutive bases of polynomial ideals","volume":"45","author":"Gerdt","year":"1998","journal-title":"Math. Comput. Simul."},{"key":"10.1016\/j.jsc.2014.09.005_br0230","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","article-title":"Minimal involutive bases","volume":"45","author":"Gerdt","year":"1998","journal-title":"Math. Comput. Simul."},{"key":"10.1016\/j.jsc.2014.09.005_br0240","article-title":"Sur la forme canonique des syst\u00e8mes d\u00e9quations homog\u00e8nes","volume":"84","author":"Gunther","year":"1913","journal-title":"Izd. Inst. Inz\u0306. Putej Soob\u0161\u010d. Imp. Al. I"},{"key":"10.1016\/j.jsc.2014.09.005_br0250","first-page":"577","article-title":"Sur la forme canonique des equations alg\u00e9briques","volume":"157","author":"Gunther","year":"1913","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10.1016\/j.jsc.2014.09.005_br0260","series-title":"Computer Algebra in Scientific Computing","first-page":"172","article-title":"Quasi-Stability versus genericity","volume":"vol. 7442","author":"Hashemi","year":"2012"},{"key":"10.1016\/j.jsc.2014.09.005_br0270","series-title":"Monomial Ideals, Computations and Applications","article-title":"A survey on Stanley depth","volume":"vol. 2083","author":"Herzog","year":"2013"},{"key":"10.1016\/j.jsc.2014.09.005_br0280","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01208503","article-title":"Uber die Theorie der algebraicschen Formen","volume":"36","author":"Hilbert","year":"1890","journal-title":"Math. Ann."},{"key":"10.1016\/j.jsc.2014.09.005_br0290","series-title":"Algebraic Geometry, The Johns Hopkins Centennial Lectures","first-page":"52","article-title":"Idealistic exponents of singularity","author":"Hironaka","year":"1977"},{"key":"10.1016\/j.jsc.2014.09.005_br0300","series-title":"Symbolic and Numerical Scientific Computation","first-page":"40","article-title":"Notes on triangular sets and triangulation-decomposition algorithms. II: Differential systems","volume":"vol. 2630","author":"Hubert","year":"2003"},{"key":"10.1016\/j.jsc.2014.09.005_br0310","first-page":"65","article-title":"Sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partelles","volume":"3","author":"Janet","year":"1920","journal-title":"J. Math. Pures Appl."},{"issue":"3","key":"10.1016\/j.jsc.2014.09.005_br0320","doi-asserted-by":"crossref","first-page":"27","DOI":"10.24033\/asens.754","article-title":"Les modules de formes alg\u00e9briques et la th\u00e9orie g\u00e9n\u00e9rale des systemes diff\u00e9rentiels","volume":"41","author":"Janet","year":"1924","journal-title":"Ann. Sci. \u00c9c. Norm. Sup\u00e9r"},{"key":"10.1016\/j.jsc.2014.09.005_br0330","series-title":"Les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partelles","author":"Janet","year":"1927"},{"key":"10.1016\/j.jsc.2014.09.005_br0340","series-title":"Lecons sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partelles","author":"Janet","year":"1931"},{"key":"10.1016\/j.jsc.2014.09.005_br0350","author":"Lella"},{"key":"10.1016\/j.jsc.2014.09.005_br0360","series-title":"Commutative Algebra: Interactions with Algebraic Geometry","first-page":"193","article-title":"Cartan involutiveness = Mumford regularity","volume":"vol. 331","author":"Malgrange","year":"2003"},{"key":"10.1016\/j.jsc.2014.09.005_br0370","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s002000050097","article-title":"On the relation between Groebner and Pommaret bases","volume":"9","author":"Mall","year":"1998","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0380","series-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"Pommaret","year":"1978"},{"key":"10.1016\/j.jsc.2014.09.005_br0390","first-page":"411","article-title":"Effective Methods for Systems of Algebraic Partial Differential Equations","volume":"vol. 94","author":"Pommaret","year":"1990"},{"issue":"3","key":"10.1016\/j.jsc.2014.09.005_br0400","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1006\/jsco.1993.1045","article-title":"A note on polynomial reduction","volume":"16","author":"Reeves","year":"1993","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0410","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0956792500000577","article-title":"Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution","volume":"2","author":"Reid","year":"1991","journal-title":"Eur. J. Appl. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0420","doi-asserted-by":"crossref","first-page":"65","DOI":"10.24033\/asens.383","article-title":"De l'existence des int\u00e9grales dans un syst\u00e8me differentiel quelconque","volume":"10","author":"Riquier","year":"1893","journal-title":"Ann. \u00c9c. Norm. 3e s\u00e9r."},{"key":"10.1016\/j.jsc.2014.09.005_br0430","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02418676","article-title":"Sur une questione fondamentale du Calcul int\u00e9gral","volume":"23","author":"Riquier","year":"1899","journal-title":"Acta Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0440","series-title":"Les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles","author":"Riquier","year":"1910"},{"key":"10.1016\/j.jsc.2014.09.005_br0450","article-title":"Differential Equations from the Algebraic Standpoint","volume":"vol. 14","author":"Ritt","year":"1932"},{"key":"10.1016\/j.jsc.2014.09.005_br0460","article-title":"Differential Algebra","volume":"vol. 33","author":"Ritt","year":"1950"},{"key":"10.1016\/j.jsc.2014.09.005_br0470","first-page":"513","article-title":"Term Orderings on the Polynomial Ring","volume":"vol. 204","author":"Robbiano","year":"1985"},{"key":"10.1016\/j.jsc.2014.09.005_br0480","first-page":"106","article-title":"Sur les syst\u00e9mes d'\u00e9quations aux d\u00e9riv\u00e9es partialles","volume":"157","author":"Robinson","year":"1913","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10.1016\/j.jsc.2014.09.005_br0490","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2307\/2370446","article-title":"A new canonical form for systems of partial differential equations","volume":"39","author":"Robinson","year":"1917","journal-title":"Am. J. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0500","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0001-8708(78)90045-2","article-title":"Hilbert functions of graded algebras","volume":"28","author":"Stanley","year":"1978","journal-title":"Adv. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0510","first-page":"83","article-title":"A standard basis approach to syzygies of canonical curves","volume":"421","author":"Schreyer","year":"1991","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0520","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0167-2789(84)90447-0","article-title":"The Riquier\u2013Janet theory and its application to nonlinear evolution equations","volume":"11","author":"Schwarz","year":"1984","journal-title":"Physica D"},{"key":"10.1016\/j.jsc.2014.09.005_br0530","series-title":"Proc. ISSA'92","first-page":"49","article-title":"Reduction and completion algorithm for partial differential equations","author":"Schwartz","year":"1992"},{"key":"10.1016\/j.jsc.2014.09.005_br0540","series-title":"Involution \u2013 the formal theory of differential equations and its applications in computer algebra and numerical analysis","author":"Seiler","year":"2002"},{"key":"10.1016\/j.jsc.2014.09.005_br0550","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s00200-009-0098-0","article-title":"A combinatorial approach to involution and delta-regularity I: involutive bases in polynomial algebras of solvable type","volume":"20","author":"Seiler","year":"2009","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0560","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s00200-009-0101-9","article-title":"A combinatorial approach to involution and delta-regularity, II: structure analysis of polynomial modules with Pommaret bases","volume":"20","author":"Seiler","year":"2009","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"10.1016\/j.jsc.2014.09.005_br0570","article-title":"Involution \u2013 The Formal Theory of Differential Equations and its Applications in Computer Algebra","volume":"vol. 24","author":"Seiler","year":"2010"},{"key":"10.1016\/j.jsc.2014.09.005_br0580","article-title":"Differential Systems","volume":"vol. XXI","author":"Thomas","year":"1937"},{"key":"10.1016\/j.jsc.2014.09.005_br0590","series-title":"Systems and Roots","author":"Thomas","year":"1962"},{"key":"10.1016\/j.jsc.2014.09.005_br0600","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00046572","article-title":"Reducing systems of linear differential equations to a passive form","volume":"16","author":"Topunov","year":"1989","journal-title":"Acta Appl. Math."},{"key":"10.1016\/j.jsc.2014.09.005_br0610","first-page":"194","article-title":"On the construction of Groebner basis of a polynomial ideal based on Riquier\u2013Janet theory","volume":"4","author":"Wu","year":"1991","journal-title":"Syst. Sci. Math. Sci."},{"key":"10.1016\/j.jsc.2014.09.005_br0620","first-page":"389","article-title":"Solving Zero-dimensional Involutive Systems","volume":"vol. 143","author":"Zarkov","year":"1996"},{"key":"10.1016\/j.jsc.2014.09.005_br0630","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0378-4754(96)00006-7","article-title":"Involution approach to investing polynomial systems","volume":"42","author":"Zarkov","year":"1996","journal-title":"Math. Comput. Simul."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S074771711400073X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S074771711400073X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T17:34:40Z","timestamp":1689528880000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S074771711400073X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":64,"alternative-id":["S074771711400073X"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.jsc.2014.09.005","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2015,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Term-ordering free involutive bases","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.jsc.2014.09.005","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}