{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:44:22Z","timestamp":1725576262113},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_8","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:34:36Z","timestamp":1295346876000},"page":"80-93","source":"Crossref","is-referenced-by-count":10,"title":["Generic Hermitian Quantifier Elimination"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Dolzmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenz A.","family":"Gilch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"8_CR2","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. Journal of Symbolic Computation\u00a012, 299\u2013328 (1991)","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/281508.281652","volume-title":"Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC 1998)","author":"C.W. Brown","year":"1998","unstructured":"Brown, C.W.: Simplification of truth-invariant cylindrical algebraic decompositions. In: Gloor, O. (ed.) Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC 1998), Rostock, Germany, pp. 295\u2013301. ACM Press, New York (1998)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"Weispfenning, V.: The complexity of linear problems in fields. Journal of Symbolic Computation\u00a05, 3\u201327 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R. Loos","year":"1993","unstructured":"Loos, R., Weispfenning, V.: Applying linear quantifier elimination. THE Computer Journal\u00a036, 450\u2013462 (1993); Special issue on computational quantifier elimination","journal-title":"THE Computer Journal"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin\u00a031, 2\u20139 (1997)","journal-title":"ACM SIGSAM Bulletin"},{"key":"8_CR7","series-title":"Texts and Monographs in Symbolic Computation","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/978-3-7091-9459-1_20","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"V. Weispfenning","year":"1998","unstructured":"Weispfenning, V.: A new approach to quantifier elimination for real algebra. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 376\u2013392. Springer, Wien (1998)"},{"key":"8_CR8","unstructured":"Dolzmann, A.: Reelle Quantorenelimination durch parametrisches Z\u00e4hlen von Nullstellen. Diploma thesis, Universit\u00e4t Passau, D-94030 Passau, Germany (1994)"},{"key":"8_CR9","unstructured":"Gilch, L.A.: Effiziente Hermitesche Quantorenelimination. Diploma thesis, Universit \u00e4t Passau, D-94030 Passau, Germany (2003)"},{"key":"8_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-47997-X_2","volume-title":"Automated Deduction in Geometry","author":"A. Dolzmann","year":"1999","unstructured":"Dolzmann, A.: Solving geometric problems with real quantifier elimination. In: Wang, D., Yang, L., Gao, X.-S. (eds.) ADG 1998. LNCS (LNAI), vol.\u00a01669, pp. 14\u201329. Springer, Heidelberg (1999)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/jsco.1997.0123","volume":"24","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation\u00a024, 209\u2013231 (1997)","journal-title":"Journal of Symbolic Computation"},{"key":"#cr-split#-8_CR12.1","unstructured":"Weispfenning, V.: Applying quantifier elimination to problems in simulation and optimization. Technical Report MIP-9607, FMI, Universit??t Passau, D-94030 Passau, Germany (1996);"},{"key":"#cr-split#-8_CR12.2","unstructured":"To appear in the Journal of Symbolic Computation"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1006031329384","volume":"21","author":"A. Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, T., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning\u00a021, 357\u2013380 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/860854.860903","volume-title":"Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC 2003)","author":"A. Seidl","year":"2003","unstructured":"Seidl, A., Sturm, T.: A generic projection operator for partial cylindrical algebraic decomposition. In: Sendra, R. (ed.) Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC 2003), Philadelphia, Pennsylvania, pp. 240\u2013247. ACM Press, New York (2003)"},{"key":"8_CR15","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. Journal of Symbolic Computation\u00a014, 1\u201329 (1992)","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR16","series-title":"Progress in Mathematics","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-1-4612-2752-6_15","volume-title":"Computational Algebraic Geometry","author":"P. Pedersen","year":"1993","unstructured":"Pedersen, P., Roy, M.F., Szpirglas, A.: Counting real zeroes in the multivariate case. In: Eysette, F., Galigo, A. (eds.) Computational Algebraic Geometry. Progress in Mathematics, vol.\u00a0109, pp. 203\u2013224. Birkh\u00e4user, Boston (1993); Proceedings of the MEGA 1992 (1992)"},{"key":"8_CR17","series-title":"Contemporary Mathematics","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1090\/conm\/155\/01385","volume-title":"Recent Advances in Real Algebraic Geometry and Quadratic Forms","author":"E. Becker","year":"1994","unstructured":"Becker, E., W\u00f6rmann, T.: On the trace formula for quadratic forms. In: Jacob, W.B., Lam, T.Y., Robson, R.O. (eds.) Recent Advances in Real Algebraic Geometry and Quadratic Forms. Contemporary Mathematics, vol.\u00a0155, pp. 271\u2013291. American Mathematical Society, Providence (1994); Proceedings of the RAGSQUAD Year, Berkeley (1990-1991)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0747-7171(88)80045-2","volume":"6","author":"H. Kredel","year":"1988","unstructured":"Kredel, H., Weispfenning, V.: Computing dimension and independent sets for polynomial ideals. Journal of Symbolic Computation\u00a06, 231\u2013247 (1988); Computational aspects of commutative algebra","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR19","series-title":"Mathematics and its applications","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Mathematics and its applications. D. Reidel Publishing Company, Dordrecht (1988)"},{"key":"8_CR20","unstructured":"Sturm, T.: Real Quantifier Elimination in Geometry. Doctoral dissertation, Department of Mathematics and Computer Science. University of Passau, Germany, D-94030 Passau, Germany (1999)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:56:01Z","timestamp":1620014161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}