{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:08Z","timestamp":1747546928409},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_63","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:16:53Z","timestamp":1330294613000},"page":"274-288","source":"Crossref","is-referenced-by-count":5,"title":["Solving geometrical constraint systems using CLP based on linear constraint solver"],"prefix":"10.1007","author":[{"given":"Denis","family":"Bouhineau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","volume-title":"Proceedings of the 13th IJCAI Conference, Chambery","author":"R. Allen","year":"1993","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, 1993."},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0747-7171(85)80013-4","volume":"no. 1","author":"A. Borodin","year":"1985","unstructured":"Borodin, A., Fagin, R., Hopcroft, J.E., Tompa, M., Decreasing the nested depth of expression involving square roots, Journal of Symbolic Computation, no. 1 page 169\u2013188, 1985.","journal-title":"Journal of Symbolic Computation"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"S.C. Chou and X.S. Gao, Proving Geometry Statement of Constructive Type, CADE, LNCS 607, D. Kapur Eds, 1992.","DOI":"10.1007\/3-540-55602-8_153"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"S.C. Chou, Mechanical Geometry Theorem Proving, D. Reidel Publishing Company, 1988.","DOI":"10.1007\/978-94-009-4037-6"},{"issue":"4","key":"17_CR5","first-page":"412","volume":"28","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer, An Introduction to Prolog III, Commun. ACM, 28(4):412\u2013418, 1990.","journal-title":"Commun. ACM"},{"key":"17_CR6","unstructured":"A. Colmerauer, Naive Solving of Non-linear Constraints, Constraint Logic Programming: Selected Research, F. Benhamou and A. Colmerauer eds, The MIT Press, page 89\u2013112, 1993."},{"issue":"no.2","key":"17_CR7","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1145\/322003.322013","volume":"24","author":"P.J. Davis","year":"1977","unstructured":"Davis, P.J., Proof, Completeness, Transcendental, and Sampling. Journal of the ACM, Vol. 24, no. 2, pages 298\u2013310, 1977.","journal-title":"Journal of the ACM"},{"key":"17_CR8","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP, In Proceedings of the Internationnal Conference on 5 Fifth Generation Computer Systems, Tokyo, Japan, December 1988."},{"issue":"3","key":"17_CR9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P-J. Stuckey, and R. Yap, The CLP(R) Language and System. ACM Trans. on Programming Languages and Systems, 14(3):339\u2013395, 1992.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"17_CR10","first-page":"107","volume-title":"Proving by Example and Gap Theorems","author":"J. Hong","year":"1986","unstructured":"J. Hong, Proving by Example and Gap Theorems 27th An. Symp. on Foundations of Computer Science, Toronto, Ontario, Canada, IEEE press, p107\u2013116, Oct 1986."},{"key":"17_CR11","unstructured":"J.M. Laborde, Des connaissances abstraites aux r\u00e9alit\u00e9s artificielles, le concept de micromonde Cabri, IV\u00e8mes journ\u00e9es EIAO de Cachan, ed Eyrolles, 1995."},{"issue":"no.1","key":"17_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1137\/0221009","volume":"21","author":"S. Landau","year":"1992","unstructured":"Landau, S., Simplification of nested radicals, SIAM Journal of Computing Vol 21, no.1 page 85\u2013110, February 1992.","journal-title":"SIAM Journal of Computing"},{"key":"17_CR13","volume-title":"Le\u00e7ons sur les constructions g\u00e9om\u00e9triques","author":"H. Lebesgue","year":"1989","unstructured":"Lebesgue, H., Le\u00e7ons sur les constructions g\u00e9om\u00e9triques, r\u00e9\u00e9dition, Gauthier-Villard, Paris, 1989.","edition":"r\u00e9\u00e9dition"},{"key":"17_CR14","unstructured":"Naudin, P., Quitt\u00e9, C. Algorithmique alg\u00e9brique Collection Logique math\u00e9matiques informatique, \u00e9dition Masson, pages 312\u2013324, 1985."},{"key":"17_CR15","unstructured":"Pesant, G., Une approche g\u00e9om\u00e9trique aux contraintes arithm\u00e9tiques quadratiques en programmation logique avec contraintes Th\u00e8se de l'Universite de Montr\u00e9al, 1995."},{"issue":"no.4","key":"17_CR16","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/37523.37525","volume":"22","author":"T. Rolfe","year":"1987","unstructured":"Rolfe, T., On a fast integer square root algorithm. ACM SIGNUM Newsletter, Vol. 22, no. 4, pages 6\u201311, 1987.","journal-title":"ACM SIGNUM Newsletter"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:51Z","timestamp":1605647391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}