{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T19:07:58Z","timestamp":1773947278428,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540159841","type":"print"},{"value":"9783540396857","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_301","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:30:59Z","timestamp":1330194659000},"page":"413-421","source":"Crossref","is-referenced-by-count":42,"title":["Some algorithmic questions on ideals of differential operators"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Galligo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"73_CR1","unstructured":"D.A.Bayer, Ph.D., Harvard University, 1982"},{"key":"73_CR2","unstructured":"D.A.Bayer & M.Stillman,On the complexity of computing syzygies, Preprint (1984)"},{"key":"73_CR3","unstructured":"\u2014, A criterion for detecting m-regularity, Preprint (1984)"},{"issue":"4","key":"73_CR4","first-page":"26","volume":"6","author":"I.N. Bernstein","year":"1972","unstructured":"I.N. Bernstein,The analytic continuation of generalised functions w.r.t. a parameter, in Funct. Anal. Akademia Nauk CCP 6(4) (1972), pp.26\u201340","journal-title":"Funct. Anal. Akademia Nauk CCP"},{"key":"73_CR5","unstructured":"I.E.Bjork,Rings of differential operators, North Holland Mathematical library (1979)"},{"key":"73_CR6","unstructured":"\u2014, Differential systems on algebraic manifolds, preprint U. of Stockholm (1984)"},{"key":"73_CR7","unstructured":"\u2014, Gr\u00f6bner bases: an algorithm method in polynomial ideal theory, preprint, Univ. of Linz (1983), to appear"},{"key":"73_CR8","unstructured":"J.Brian\u00e7on & A.Galligo, Detormations de points de IR2ou C, in Ast\u00e9risque no7 et 8 (1973)"},{"key":"73_CR9","unstructured":"J.Brian\u00e7on & Ph.Maisonobe,Id\u00e9aux d'op\u00e9rateurs diff\u00e9rentiels \u00e0 1 variable, in Enseignement Math\u00e9matique (1984) T.23"},{"key":"73_CR10","doi-asserted-by":"crossref","unstructured":"B.Buchberger,A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner bases, Proc. Eurosam 79, Lecture Notes in C.S. 72 (1979)","DOI":"10.1007\/3-540-09519-5_52"},{"key":"73_CR11","unstructured":"\u2014, Note on the complexity of constructing Gr\u00f6bner-Bases, in Proc. Eurocal 83, Lecture Notes in C.S. (1983)"},{"key":"73_CR12","unstructured":"F.Castro, Th\u00e8se de 3o cycle, Paris VII, oct.1984"},{"key":"73_CR13","doi-asserted-by":"crossref","unstructured":"J.Damon & A.Galligo,A topological invariant for stable map germs, Invent. Math. 32 (1976)","DOI":"10.1007\/BF01389958"},{"key":"73_CR14","unstructured":"\u2014, On the Hilbert-Samuel partition of stable map germs, Bull. Soc. Math. France 111 (1983)"},{"key":"73_CR15","unstructured":"M.Gaetano,Ceyx a good tool for computer algebra constructions in these proceedings"},{"key":"73_CR16","unstructured":"M.Gaetano & A.Galligo,Presentation du projet BASTA, Preprint (1984) U. de Nice"},{"key":"73_CR17","doi-asserted-by":"crossref","unstructured":"A.Galligo,A propos du th\u00e9or\u00e8me de pr\u00e9paration de Weierstrass, in Springer Lecture Notes in Mathematics no409 (1974)","DOI":"10.1007\/BFb0068121"},{"key":"73_CR18","doi-asserted-by":"crossref","unstructured":"\u2014, Th\u00e9or\u00e8me de pr\u00e9paration et stabilit\u00e9 en g\u00e9om\u00e9trie analytique in Ann. Inst. Fourier, T.29, 2 (1979","DOI":"10.5802\/aif.745"},{"key":"73_CR19","unstructured":"\u2014, Algorithmes de construction de bases standard, preprint U. de Nice (1983)"},{"key":"73_CR20","unstructured":"M.Giusti,Some effectivity problems in polynomial ideal theory, in Eurosam 84, Lect. Notes in C.S., 174 (1984)"},{"key":"73_CR21","unstructured":"H.Hironaka,Resolution of singularities, local theory, informal talks \u223c1970"},{"key":"73_CR22","doi-asserted-by":"crossref","unstructured":"M.Kashiwara,B-functors and holonomic systems, Invent. Math. 38 (1976)","DOI":"10.1007\/BF01390168"},{"key":"73_CR23","doi-asserted-by":"crossref","unstructured":"D.Lazard,Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations, in Eurocal 83, Lect. Notes in C.S. 162, (1983)","DOI":"10.1007\/3-540-12868-9_99"},{"key":"73_CR24","unstructured":"\u2014, Ideal basis and primary decomposition: case of 2 variables, preprint Paris VI (1984)"},{"key":"73_CR25","unstructured":"L\u00ea D.T. & Z.Mebkhout,Introduction to linear differential systems, in A.M.S. Proceedings 40, (1983)"},{"key":"73_CR26","unstructured":"Colloque \"Analyse et Topologie\" Luminy 1981, Ast\u00e9risque no100 (1983)"},{"key":"73_CR27","unstructured":"Colloque \"Syst\u00e8mes Diff\u00e9rentiels et Singularit\u00e9s Luminy 1983, in Ast\u00e9risque (1985), to appear"},{"key":"73_CR28","doi-asserted-by":"crossref","unstructured":"B.Malgrange, Sur les polyn\u00f4mes de Bernstein, in Uspelaki Mat. Nauk 29 (4) (1974)","DOI":"10.1070\/RM1974v029n04ABEH001289"},{"key":"73_CR29","doi-asserted-by":"crossref","unstructured":"E.Mayr & A.Meyer, The complexity of the word problem for commutative, semigroups and polynomial ideals, in Adv. in Math, 46, (1982)","DOI":"10.1016\/0001-8708(82)90048-2"},{"key":"73_CR30","unstructured":"Muller & Mora, New constructive methods in classical ideal theory preprint (1983)"},{"key":"73_CR31","unstructured":"F.Pham, Singularit\u00e9s des syst\u00e8mes de Gauss-Manin, Progress in Math. 2, Progresso in Math.2, Birkhauser (1979)"},{"key":"73_CR32","unstructured":"M.Sato, M.Kashiwara, T.Kawai, Hyperfunctions and pseudo-differential operators, in Lect.Notes in Math., vol.287, Springer (1973)"},{"key":"73_CR33","doi-asserted-by":"crossref","unstructured":"J.T.Stafford, Module structure of Weyl algebras, in J.London Math.Soc. 18, (1978)","DOI":"10.1112\/jlms\/s2-18.3.429"},{"key":"73_CR34","doi-asserted-by":"crossref","unstructured":"R.P.Stanley, Hilbert functions of graded algebras, in Adv. in Math.28, (1978)","DOI":"10.1016\/0001-8708(78)90045-2"},{"key":"73_CR35","unstructured":"F.Winkler, On the complexity of the Gr\u00f6bner bases algorithm over K[x,y,z] in Eurosam'84, Lect.Notes in C.S., no174 (1984)"}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_301.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:23Z","timestamp":1605643763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_301","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}