{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:36:28Z","timestamp":1761510988915},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319109350"},{"type":"electronic","value":"9783319109367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10936-7_10","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T15:17:55Z","timestamp":1410016675000},"page":"151-167","source":"Crossref","is-referenced-by-count":2,"title":["Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations"],"prefix":"10.1007","author":[{"given":"Khalil","family":"Ghorbal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Sogokon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1145\/235809.235813","volume":"43","author":"S. Basu","year":"1996","unstructured":"Basu, S., Pollack, R., Roy, M.F.: On the combinatorial and algebraic complexity of quantifier elimination. J. ACM\u00a043(6), 1002\u20131045 (1996)","journal-title":"J. ACM"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01389151","volume":"87","author":"D. Bayer","year":"1987","unstructured":"Bayer, D., Stillman, M.E.: A criterion for detecting m-regularity. Inventiones Mathematicae\u00a087, 1 (1987)","journal-title":"Inventiones Mathematicae"},{"issue":"11","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","volume":"35","author":"F. Blanchini","year":"1999","unstructured":"Blanchini, F.: Set invariance in control. Automatica\u00a035(11), 1747\u20131767 (1999)","journal-title":"Automatica"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6bner-Bases: An Algorithmic Method in Polynomial Ideal Theory, ch. 6, pp. 184\u2013232. Reidel Publishing Company, Dodrecht (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput.\u00a012(3), 299\u2013328 (1991)","journal-title":"J. Symb. Comput."},{"key":"10_CR6","unstructured":"Cox, D.A., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms - an introduction to computational algebraic geometry and commutative algebra, 2nd edn. Springer (1997)"},{"issue":"1","key":"10_CR7","first-page":"151","volume":"2","author":"J.G. Darboux","year":"1878","unstructured":"Darboux, J.G.: M\u00e9moire sur les \u00e9quations diff\u00e9rentielles alg\u00e9briques du premier ordre et du premier degr\u00e9. Bulletin des Sciences Math\u00e9matiques et Astronomiques\u00a02(1), 151\u2013200 (1878)","journal-title":"Bulletin des Sciences Math\u00e9matiques et Astronomiques"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1137\/0219053","volume":"19","author":"T. Dub\u00e9","year":"1990","unstructured":"Dub\u00e9, T.: The structure of polynomial ideals and Gr\u00f6bner bases. SIAM J. Comput.\u00a019(4), 750\u2013773 (1990)","journal-title":"SIAM J. Comput."},{"issue":"1-3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J.C. Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases (F4). Journal of Pure and Applied Algebra\u00a0139(1-3), 61\u201388 (1999)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/780506.780516","volume-title":"Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, ISSAC 2002","author":"J.C. Faug\u00e8re","year":"2002","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero (F5). In: Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, ISSAC 2002, pp. 75\u201383. ACM, New York (2002)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-54862-8_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Ghorbal","year":"2014","unstructured":"Ghorbal, K., Platzer, A.: Characterizing algebraic invariants by differential radical invariants. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol.\u00a08413, pp. 279\u2013294. Springer, Heidelberg (2014)"},{"key":"10_CR12","unstructured":"Ghorbal, K., Sogokon, A., Platzer, A.: Invariance of conjunctions of polynomial equalities for algebraic differential equations. Tech. Rep. CMU-CS-14-122, School of Computer Science, CMU, Pittsburgh, PA (June 2014), http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/2014\/abstracts\/14-122.html"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Goriely, A.: Integrability and Nonintegrability of Dynamical Systems. Advanced series in nonlinear dynamics. World Scientific (2001)","DOI":"10.1142\/3846"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Lazard, D.: Gr\u00f6bner-bases, Gaussian elimination and resolution of systems of algebraic equations. In: van Hulzen, J.A. (ed.) EUROCAL 1983. LNCS, vol.\u00a0162, pp. 146\u2013156. Springer, Heidelberg (1983)","DOI":"10.1007\/3-540-12868-9_99"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Lie, S.: Vorlesungen \u00fcber continuierliche Gruppen mit Geometrischen und anderen Anwendungen, Teubner, Leipzig (1893)","DOI":"10.5962\/bhl.title.18549"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Liu, J., Zhan, N., Zhao, H.: Computing semi-algebraic invariants for polynomial dynamical systems. In: Chakraborty, S., Jerraya, A., Baruah, S.K., Fischmeister, S. (eds.) EMSOFT, pp. 97\u2013106. ACM (2011)","DOI":"10.1145\/2038642.2038659"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-642-15769-1_23","volume-title":"Static Analysis","author":"N. Matringe","year":"2010","unstructured":"Matringe, N., Moura, A.V., Rebiha, R.: Generating invariants for non-linear hybrid systems by linear algebraic methods. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 373\u2013389. Springer, Heidelberg (2010)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/BFb0029002","volume-title":"STACS 89","author":"E.W. Mayr","year":"1989","unstructured":"Mayr, E.W.: Membership in polynomial ideals over Q is exponential space complete. In: Cori, R., Monien, B. (eds.) STACS 1989. LNCS, vol.\u00a0349, pp. 400\u2013406. Springer, Heidelberg (1989)"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E.W. Mayr","year":"1982","unstructured":"Mayr, E.W., Meyer, A.R.: The complexity of the word problems for commutative semigroups and polynomial ideals. Advances in Mathematics\u00a046(3), 305\u2013329 (1982)","journal-title":"Advances in Mathematics"},{"issue":"1-3","key":"10_CR20","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0022-4049(96)00103-X","volume":"124","author":"R. Neuhaus","year":"1998","unstructured":"Neuhaus, R.: Computation of real radicals of polynomial ideals II. Journal of Pure and Applied Algebra\u00a0124(1-3), 261\u2013280 (1998)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10_CR21","unstructured":"Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer (2000)"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A. Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reasoning\u00a041(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/logcom\/exn070","volume":"20","author":"A. Platzer","year":"2010","unstructured":"Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput.\u00a020(1), 309\u2013352 (2010)","journal-title":"J. Log. Comput."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer (2010)","DOI":"10.1007\/978-3-642-14509-4"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-32347-8_3","volume-title":"Interactive Theorem Proving","author":"A. Platzer","year":"2012","unstructured":"Platzer, A.: A differential operator approach to equational differential invariants. In: Beringer, L., Felty, A. (eds.) ITP 2012. LNCS, vol.\u00a07406, pp. 28\u201348. Springer, Heidelberg (2012)"},{"issue":"4","key":"10_CR26","first-page":"1","volume":"8","author":"A. Platzer","year":"2012","unstructured":"Platzer, A.: The structure of differential invariants and differential cut elimination. Logical Methods in Computer Science\u00a08(4), 1\u201338 (2012)","journal-title":"Logical Methods in Computer Science"},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10703-007-0046-1","volume":"32","author":"S. Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. Formal Methods in System Design\u00a032(1), 25\u201355 (2008)","journal-title":"Formal Methods in System Design"},{"key":"10_CR28","unstructured":"Taly, A., Tiwari, A.: Deductive verification of continuous dynamical systems. In: Kannan, R., Kumar, K.N. (eds.) FSTTCS. LIPIcs, vol.\u00a04, pp. 383\u2013394. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2009)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. Bulletin of the American Mathematical Society\u00a059 (1951)","DOI":"10.1525\/9780520348097"},{"issue":"1","key":"10_CR30","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s12346-011-0048-7","volume":"11","author":"E. Zerz","year":"2012","unstructured":"Zerz, E., Walcher, S.: Controlled invariant hypersurfaces of polynomial control systems. Qualitative Theory of Dynamical Systems\u00a011(1), 145\u2013158 (2012)","journal-title":"Qualitative Theory of Dynamical Systems"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10936-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,16]],"date-time":"2022-04-16T13:26:10Z","timestamp":1650115570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10936-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319109350","9783319109367"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10936-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}