{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:41:18Z","timestamp":1761979278482,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452208"},{"type":"electronic","value":"9783642452215"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45221-5_31","type":"book-chapter","created":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T09:28:23Z","timestamp":1386235703000},"page":"457-472","source":"Crossref","is-referenced-by-count":8,"title":["Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning"],"prefix":"10.1007","author":[{"given":"Shachar","family":"Itzhaky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Immerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"issue":"3","key":"31_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","volume":"20","author":"B. Aldefeld","year":"1988","unstructured":"Aldefeld, B.: Variation of geometries based on a geometric-reasoning method. Computer Aided Design\u00a020(3), 117\u2013126 (1988)","journal-title":"Computer Aided Design"},{"issue":"6","key":"31_CR3","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W. Bouma","year":"1995","unstructured":"Bouma, W., Fudos, I., Hoffmann, C.M., Cai, J., Paige, R.: Geometric constraint solver. Computer-Aided Design\u00a027(6), 487\u2013501 (1995)","journal-title":"Computer-Aided Design"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-18928-9_5","volume-title":"Trends in Computer Algebra","author":"B. Buchberger","year":"1988","unstructured":"Buchberger, B.: Applications of Gr\u00f6bner bases in non-linear computational geometry. In: Jan\u00dfen, R. (ed.) Trends in Computer Algebra. LNCS, vol.\u00a0296, pp. 52\u201380. Springer, Heidelberg (1988)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Korthikanti, V., Tiwari, A.: Synthesizing geometry constructions. In: Programming Language Design and Implementation, PLDI (2011)","DOI":"10.1145\/1993498.1993505"},{"key":"31_CR6","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database systems - the complete book, 2nd edn. Pearson Education (2009)"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Hong, J.: Proving by example and gap theorems. In: FOCS, pp. 107\u2013116. IEEE Computer Society (1986)","DOI":"10.1109\/SFCS.1986.48"},{"key":"31_CR8","unstructured":"Itzhaky, S., Gulwani, S., Immerman, N., Sagiv, M.: Solving geometry problems using a combination of symbolic and numerical reasoning. Technical Report MSR-TR-2012-8, Microsoft Research (January 2012), http:\/\/www.cs.tau.ac.il\/~shachar\/dl\/tr-2012.pdf"},{"issue":"3","key":"31_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) language and system. ACM Trans. Program. Lang. Syst.\u00a014(3), 339\u2013395 (1992)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"K\u00f6ksal, A.S., Kuncak, V., Suter, P.: Constraints as control. In: ACM SIGPLAN Symposium on Principles of Programming Languages, POPL (2012)","DOI":"10.1145\/2103656.2103675"},{"issue":"3","key":"31_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","volume":"24","author":"K. Kondo","year":"1992","unstructured":"Kondo, K.: Algebraic method for manipulation of dimensional relationships in geometric models. Computer-Aided Design\u00a024(3), 141\u2013147 (1992)","journal-title":"Computer-Aided Design"},{"key":"31_CR12","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: Walsh, T. (ed.) IJCAI, pp. 963\u2013968. IJCAI\/AAAI (2011)"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Nelson, G.: Juno, a constraint-based graphics system. In: SIGGRAPH, pp. 235\u2013243 (1985)","DOI":"10.1145\/325165.325241"},{"key":"31_CR14","unstructured":"Solar-Lezama, A.: Program Synthesis by Sketching. PhD thesis, University of California, Berkeley (2008)"},{"key":"31_CR15","unstructured":"http:\/\/www.swi-prolog.org\/man\/clpqr.html"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Wong, W.-K., Chan, B.-Y., Yin, S.-K.: A dynamic geometry environment for learning theorem proving. In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 05-08, pp. 15\u201317. IEEE Computer Society (2005)","DOI":"10.1109\/ICALT.2005.5"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45221-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T02:08:15Z","timestamp":1746065295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45221-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452208","9783642452215"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45221-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}