{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:07:35Z","timestamp":1762459655937,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_44","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"369-378","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics"],"prefix":"10.1007","author":[{"given":"Casey B.","family":"Mulligan","sequence":"first","affiliation":[]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"England","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Bradford, R., Davenport, J., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Ko\u0161ta, M., Radulescu, O., Sturm, T., Weber, A.: A case study on the parametric occurrence of multiple steady states. In: Proceedings of the ISSAC 2017, pp. 45\u201352. ACM (2017). https:\/\/doi.org\/10.1145\/3087604.3087622","DOI":"10.1145\/3087604.3087622"},{"key":"44_CR2","series-title":"Texts & Monographs in Symbolic Computation","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"B Caviness","year":"1998","unstructured":"Caviness, B., Johnson, J.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts & Monographs in Symbolic Computation. Springer, Wien (1998). https:\/\/doi.org\/10.1007\/978-3-7091-9459-1"},{"issue":"1","key":"44_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s00419-017-1271-8","volume":"88","author":"A Charalampakis","year":"2018","unstructured":"Charalampakis, A., Chatzigiannelis, I.: Analytical solutions for the minimum weight design of trusses by cylindrical algebraic decomposition. Arch. Appl. Mech. 88(1), 39\u201349 (2018). https:\/\/doi.org\/10.1007\/s00419-017-1271-8","journal-title":"Arch. Appl. Mech."},{"key":"44_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"GE Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 134\u2013183. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07407-4_17 . (reprinted in [2])"},{"key":"44_CR5","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.jsc.2015.11.010","volume":"75","author":"M Erascu","year":"2016","unstructured":"Erascu, M., Hong, H.: Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: square root computation). J. Symbolic Comput. 75, 110\u2013126 (2016). https:\/\/doi.org\/10.1016\/j.jsc.2015.11.010","journal-title":"J. Symbolic Comput."},{"key":"44_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-08434-3_8","volume-title":"Intelligent Computer Mathematics","author":"Z Huang","year":"2014","unstructured":"Huang, Z., et al.: Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS (LNAI), vol. 8543, pp. 92\u2013107. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08434-3_8"},{"key":"44_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74105-3","volume-title":"Decision Procedures: An Algorithmic Point of View","author":"D Kroening","year":"2013","unstructured":"Kroening, D., Strichman, O.: Decision Procedures: An Algorithmic Point of View. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-3-540-74105-3"},{"key":"44_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.jmateco.2014.08.007","volume":"54","author":"X Li","year":"2014","unstructured":"Li, X., Wang, D.: Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification. J. Math. Econ. 54, 48\u201358 (2014). https:\/\/doi.org\/10.1016\/j.jmateco.2014.08.007","journal-title":"J. Math. Econ."},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Mulligan, C.: Automated Economic Reasoning with Quantifier Elimination. NBER Working Paper No. 22922 (2016). https:\/\/doi.org\/10.3386\/w22922","DOI":"10.3386\/w22922"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Mulligan, C., Bradford, R., Davenport, J.H., England, M., Tonks, Z.: Non-linear real arithmetic benchmarks derived from automated reasoning in economics. In: Proceedings of the 3rd International Workshop on Satisfiability Checking and Symbolic Computation ($${\\sf SC}^2$$SC2) (2018, to appear). Preprint: https:\/\/arxiv.org\/abs\/1806.11447","DOI":"10.3386\/w24602"},{"issue":"3","key":"44_CR11","doi-asserted-by":"publisher","first-page":"1061","DOI":"10.1162\/qjec.2008.123.3.1061","volume":"123","author":"C Mulligan","year":"2008","unstructured":"Mulligan, C., Rubinstein, Y.: Selection, investment, and women\u2019s relative wages over time. Q. J. Econ. 123(3), 1061\u20131110 (2008). https:\/\/doi.org\/10.1162\/qjec.2008.123.3.1061","journal-title":"Q. J. Econ."},{"key":"44_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-76591-2_11","volume-title":"Computational Aspects of General Equilibrium Theory","author":"C Steinhorn","year":"2008","unstructured":"Steinhorn, C.: Tame topology and O-minimal structures. In: Brown, D., Kubler, F. (eds.) Computational Aspects of General Equilibrium Theory, pp. 165\u2013191. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-76591-2_11"},{"issue":"9","key":"44_CR13","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1016\/j.jsc.2006.06.004","volume":"41","author":"A Strzebo\u0144ski","year":"2006","unstructured":"Strzebo\u0144ski, A.: Cylindrical algebraic decomposition using validated numerics. J. Symbolic Comput. 41(9), 1021\u20131038 (2006). https:\/\/doi.org\/10.1016\/j.jsc.2006.06.004","journal-title":"J. Symbolic Comput."},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Strzebo\u0144ski, A.: Computation with semialgebraic sets represented by cylindrical algebraic formulas. In: Proceedings of the ISSAC 2010, pp. 61\u201368. ACM (2010). https:\/\/doi.org\/10.1145\/1837934.1837952","DOI":"10.1145\/1837934.1837952"},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"Strzebo\u0144ski, A.: Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. In: Proceedings of the ISSAC 2012, pp. 335\u2013342. ACM (2012). https:\/\/doi.org\/10.1145\/2442829.2442877","DOI":"10.1145\/2442829.2442877"},{"key":"44_CR16","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.jsc.2015.11.018","volume":"76","author":"A Strzebo\u0144ski","year":"2016","unstructured":"Strzebo\u0144ski, A.: Cylindrical algebraic decomposition using local projections. J. Symbolic Comput. 76, 36\u201364 (2016). https:\/\/doi.org\/10.1016\/j.jsc.2015.11.018","journal-title":"J. Symbolic Comput."},{"key":"44_CR17","volume-title":"A Decision Method For Elementary Algebra And Geometry","author":"A Tarski","year":"1948","unstructured":"Tarski, A.: A Decision Method For Elementary Algebra And Geometry. RAND Corporation, Santa Monica (1948). (reprinted in [2])"},{"issue":"1\/2","key":"44_CR18","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. J. Symbolic Comput. 5(1\/2), 3\u201327 (1988). https:\/\/doi.org\/10.1016\/S0747-7171(88)80003-8","journal-title":"J. Symbolic Comput."},{"key":"44_CR19","volume-title":"The Mathematica Book","author":"S Wolfram","year":"2000","unstructured":"Wolfram, S.: The Mathematica Book. Wolfram Research Inc., San Francisco (2000)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T15:36:09Z","timestamp":1571585769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}