{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:10:02Z","timestamp":1752379802440,"version":"3.41.2"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1999,12]]},"DOI":"10.1023\/a:1009825124248","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"383-405","source":"Crossref","is-referenced-by-count":3,"title":["An Application of CLP: Checking the Correctness of Theorems in Geometry"],"prefix":"10.1007","volume":"4","author":[{"given":"Denis","family":"Bouhineau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Trilling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"241320_CR1","unstructured":"Allen, R., Idt, J., Trilling, L. Constrained based automatic construction and manipulation of geometric figures, Proceedings of the 13th IJCAI Conference, Chambery, Morgan Kaufmann Publishers, Los Altos."},{"key":"241320_CR2","doi-asserted-by":"crossref","unstructured":"Benhamou, F. Interval constraint logic programming. Constraint Programming: Basics and Trends 1\u201321.","DOI":"10.1007\/3-540-59155-9_1"},{"key":"241320_CR3","volume-title":"Natural Language Input for a Computer Problem Solving System. Semantic Information Processing","author":"D. G. Bobrow","year":"1968","unstructured":"Bobrow, D. G. (1968). Natural Language Input for a Computer Problem Solving System. Semantic Information Processing. Marvin Minsky (ed.), MIT Press, Cambridge, MA."},{"key":"241320_CR4","volume-title":"A Question-Answerer for AlgebraWord Problems. Semantic Information Processing","author":"D. G. Bobrow","year":"1968","unstructured":"Bobrow, D. G. (1968). A Question-Answerer for AlgebraWord Problems. Semantic Information Processing. Marvin Minsky (ed.), MIT Press, Cambridge, MA."},{"key":"241320_CR5","unstructured":"Bouhineau, D. (1997). Construction automatique de figures g\u00b4eom\u00b4etriques & Programmation Logique avec Constraintes, Th\u00e8se de l'Universit\u00b4e J. Fourier de Grenoble, France."},{"key":"241320_CR6","volume-title":"Mechanical Geometry Theorem Proving","author":"S. Chou","year":"1988","unstructured":"Chou, S.-Ch. (1988). Mechanical Geometry Theorem Proving. Reidel Publishing, Norwell."},{"key":"241320_CR7","unstructured":"Colmerauer, A. (1993). Na\u00efve Solving of Non-linear Constraints, Constraint Logic Programming: Selected Research. The MIT Press, F. Benhamou et A. Colmerauer editors, 89\u2013112."},{"key":"241320_CR8","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(90)90077-U","volume":"74","author":"M. Deng","year":"1990","unstructured":"Deng, M., Zhang, J., Yang, L. (1990). The parallel numerical method of mechanical theorem proving. Theoretical Computer Science 74: 253\u2013271.","journal-title":"Theoretical Computer Science"},{"key":"241320_CR9","unstructured":"Dub\u00e9, T., Yap, C. Computing in Euclidean Geometry, The Exact Computation Paradigm. World Scientific Press, editors D. Z. Du, F. K. Hwang."},{"key":"241320_CR10","first-page":"107","volume-title":"27th Annual Symposium on Foundations of Computer Science","author":"J. Hong","year":"1986","unstructured":"Hong, J. (1986). Proving by example and gap theorems, 107\u2013116. 27th Annual Symposium on Foundations of Computer Science, Toronto, Ontario, Canada. IEEE."},{"issue":"3","key":"241320_CR11","doi-asserted-by":"crossref","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. (1992). The CLP(R) language and system. ACM Trans. on Programming Languages and Systems 14(3): 339\u2013395.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"241320_CR12","volume-title":"Algebraic Approaches to Automated Geometry Theorem Proving","author":"B. Kutzler","year":"1988","unstructured":"Kutzler, B. (1988). Algebraic Approaches to Automated Geometry Theorem Proving. Ph.D. thesis, RISCLINZ, Johannes Kepler Univ., Austria."},{"issue":"1","key":"241320_CR13","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1137\/0221009","volume":"21","author":"S. Landau","year":"1992","unstructured":"Landau, S. (1992). Simplification of nested radicals. SIAM Journal of Computing 21(1): 85\u2013110.","journal-title":"SIAM Journal of Computing"},{"key":"241320_CR14","doi-asserted-by":"crossref","unstructured":"Pesant, G., Boyer, M. (1994). Quad-Clp(R): Adding the power of quadratic constraints. Proceedings of the Second Workshop on Principles and Practice of Constraint Programming (PPCP'94).","DOI":"10.1007\/3-540-58601-6_93"},{"key":"241320_CR15","unstructured":"Pesant, G. (1995). Une approche g\u00e9om\u00e9trique aux contraintes arithm\u00e9tiques quadratiques en programmation logique avec contraintes, Th\u00e8se de l'Universit\u00e9 de Montr\u00e9al."},{"key":"241320_CR16","volume-title":"Mechanical Theorem Proving in Geometries","author":"W-T. Wu","year":"1994","unstructured":"Wu, W-T. (1994). Mechanical Theorem Proving in Geometries. Springer-Verlag Wien New-York."},{"key":"241320_CR17","doi-asserted-by":"crossref","unstructured":"Zippel, R. (1985). Simplification of expressions involving radicals. J. Symbolic Computation 1.","DOI":"10.1016\/S0747-7171(85)80014-6"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009825124248.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009825124248\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009825124248.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:48:51Z","timestamp":1752378531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009825124248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["241320"],"URL":"https:\/\/doi.org\/10.1023\/a:1009825124248","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}