{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:24:58Z","timestamp":1726410298128},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329722"},{"type":"electronic","value":"9783642329739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32973-9_9","type":"book-chapter","created":{"date-parts":[[2012,8,29]],"date-time":"2012-08-29T10:44:22Z","timestamp":1346237062000},"page":"98-116","source":"Crossref","is-referenced-by-count":0,"title":["Comprehensive Involutive Systems"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Gerdt","sequence":"first","affiliation":[]},{"given":"Amir","family":"Hashemi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1016\/j.jsc.2004.04.004","volume":"40","author":"J. Apel","year":"2005","unstructured":"Apel, J., Hemmecke, R.: Detecting unnecessary reductions in an involutive basis computation. J. Symbolic Computation\u00a040, 1131\u20131149 (2005)","journal-title":"J. Symbolic Computation"},{"key":"9_CR2","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases: a Computational Approach to Commutative Algebra","author":"T. Becker","year":"1993","unstructured":"Becker, T., Weispfenning, T.: Gr\u00f6bner Bases: a Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol.\u00a0141. Springer, New York (1993)"},{"key":"9_CR3","unstructured":"Buchberger, B.: Ein Algorithms zum Auffinden der Basiselemente des Restklassenrings nach einem nuildimensionalen Polynomideal. PhD thesis, Universit\u00e4t Innsbruck (1965)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-09519-5_52","volume-title":"Symbolic and Algebraic Computation","author":"B. Buchberger","year":"1979","unstructured":"Buchberger, B.: A Criterion for Detecting Unnecessary Reductions in the Cconstruction of Gr\u00f6bner Bases. In: Ng, K.W. (ed.) EUROSAM 1979. LNCS, vol.\u00a072, pp. 3\u201321. Springer, Heidelberg (1979)"},{"key":"9_CR5","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Gr\u00f6bner Bases and Applications","year":"1998","unstructured":"Buchberger, B., Winkler, F. (eds.): Gr\u00f6bner Bases and Applications. London Mathematical Society Lecture Note Series, vol.\u00a0251. Cambridge University Press, Cambridge (1998)"},{"key":"9_CR6","unstructured":"Gerdt, V.P.: Involutive algorithms for computing Gr\u00f6bner bases. In: Cojocaru, S., Pfister, G., Ufnarovski, V. (eds.) Computational Commutative and Non-Commutative Algebraic Geometry, pp. 199\u2013225. IOS Press, Amstrerdam (2005) (arXiv:math\/0501111)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"V.P. Gerdt","year":"1998","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive bases of polynomial ideals. Mathematics and Computers in Simulation\u00a045, 519\u2013542 (1998)","journal-title":"Mathematics and Computers in Simulation"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-23568-9_13","volume-title":"Computer Algebra in Scientific Computing","author":"V.P. Gerdt","year":"2011","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive Division Generated by an Antigraded Monomial Ordering. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2011. LNCS, vol.\u00a06885, pp. 158\u2013174. Springer, Heidelberg (2011)"},{"key":"9_CR9","first-page":"65","volume":"3","author":"M. Janet","year":"1920","unstructured":"Janet, M.: Les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles. Journal de Math\u00e9matique\u00a03, 65\u2013151 (1920)","journal-title":"Journal de Math\u00e9matique"},{"key":"9_CR10","first-page":"29","volume-title":"Proc. ISSAC 2010","author":"D. Kapur","year":"2010","unstructured":"Kapur, D., Sun, Y., Wand, D.: A new algorithm for computing comprehensive Gr\u00f6bner systems. In: Watt, S.M. (ed.) Proc. ISSAC 2010, pp. 29\u201336. ACM Press, New York (2010)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1016\/j.jsc.2005.09.013","volume":"41","author":"M. Manubens","year":"2006","unstructured":"Manubens, M., Montes, A.: Improving DisPGB algorithm using the discriminant ideal. J. Symbolic Computation\u00a041, 1245\u20131263 (2006)","journal-title":"J. Symbolic Computation"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.jsc.2007.07.022","volume":"44","author":"M. Manubens","year":"2009","unstructured":"Manubens, M., Montes, A.: Minimal canonical comprehensive Gr\u00f6bner systems. J. Symbolic Computation\u00a044, 463\u2013478 (2009)","journal-title":"J. Symbolic Computation"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jsco.2001.0504","volume":"33","author":"A. Montes","year":"2002","unstructured":"Montes, A.: A new algorithm for discussing Gr\u00f6bner bases with parameters. J. Symbolic Computation\u00a033, 183\u2013208 (2002)","journal-title":"J. Symbolic Computation"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/216685.216686","volume":"29","author":"A. Montes","year":"1995","unstructured":"Montes, A.: Solving the load flow problem using Gr\u00f6bner bases. SIGSAM Bulletin\u00a029, 1\u201313 (1995)","journal-title":"SIGSAM Bulletin"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"1391","DOI":"10.1016\/j.jsc.2010.06.017","volume":"45","author":"A. Montes","year":"2010","unstructured":"Montes, A., Wibmer, M.: Gr\u00f6bner bases for polynomial systems with parameters. J. Symbolic Computation\u00a045, 1391\u20131425 (2010)","journal-title":"J. Symbolic Computation"},{"key":"9_CR16","series-title":"Mathematics and its Applications","volume-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"J.-F. Pommaret","year":"1978","unstructured":"Pommaret, J.-F.: Systems of Partial Differential Equations and Lie Pseudogroups. Mathematics and its Applications, vol.\u00a014. Gordon & Breach Science Publishers, New York (1978)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/S0747-7171(03)00098-1","volume":"36","author":"Y. Sato","year":"2003","unstructured":"Sato, Y., Suzuki, A.: An alternative approach to comprehensive Gr\u00f6bner bases. J. Symbolic Computation\u00a036, 649\u2013667 (2003)","journal-title":"J. Symbolic Computation"},{"key":"9_CR18","first-page":"326","volume-title":"Proc. ISSAC 2006","author":"Y. Sato","year":"2006","unstructured":"Sato, Y., Suzuki, A.: A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In: Trager, B.M. (ed.) Proc. ISSAC 2006, pp. 326\u2013331. ACM Press, New York (2006)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/11555964_37","volume-title":"Computer Algebra in Scientific Computing","author":"A. Suzuki","year":"2005","unstructured":"Suzuki, A.: Computation of Full Comprehensive Gr\u00f6bner Bases. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 431\u2013444. Springer, Heidelberg (2005)"},{"key":"9_CR20","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01287-7","volume-title":"Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra","author":"W.M. Seiler","year":"2010","unstructured":"Seiler, W.M.: Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra. Algorithms and Computation in Mathematics, vol.\u00a024. Springer, Berlin (2010)"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/S0747-7171(03)00099-3","volume":"36","author":"V. Weispfenning","year":"2003","unstructured":"Weispfenning, V.: Cannonical comprehensive Gr\u00f6bner bases. J. Symbolic Computation\u00a036, 669\u2013683 (2003)","journal-title":"J. Symbolic Computation"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V. Weispfenning","year":"1992","unstructured":"Weispfenning, V.: Comprehensive Gr\u00f6bner bases. J. Symbolic Computation\u00a014, 1\u201329 (1992)","journal-title":"J. Symbolic Computation"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0378-4754(96)00006-7","volume":"42","author":"A.Y. Zharkov","year":"1996","unstructured":"Zharkov, A.Y., Blinkov, Y.A.: Involutive approach to investigating polynomial systems. Mathematics and Computers in Simulation\u00a042, 323\u2013332 (1996)","journal-title":"Mathematics and Computers in Simulation"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32973-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T02:06:40Z","timestamp":1557194800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32973-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329722","9783642329739"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32973-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}