{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:44:26Z","timestamp":1755218666143,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"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":["Reliable Computing"],"published-print":{"date-parts":[[2000,2]]},"DOI":"10.1023\/a:1009950630139","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"81-92","source":"Crossref","is-referenced-by-count":2,"title":["Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations"],"prefix":"10.1007","volume":"6","author":[{"given":"Timothy J.","family":"Hickey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Qju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten H.","family":"Van Emden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"260014_CR1","unstructured":"Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, 1983."},{"key":"260014_CR2","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/220346.220351","volume-title":"Proc. of ISSAC'95","author":"R. Avitzur","year":"1995","unstructured":"Avitzur, R., Bachmann, O., and Kajler, N.: From Honest to Intelligent Plotting, in: Proc. of ISSAC'95, ACM Press, Montreal, Canada, 1995, pp. 32-41."},{"key":"260014_CR3","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0167-8396(88)90010-6","volume":"5","author":"C. Bajaj","year":"1988","unstructured":"Bajaj, C., Hoffman, C., Hoperoft, J., and Lynch, R.: Tracing Surface Intersections, Computer Aided Geometric Design\n5 (1988), pp. 285-307.","journal-title":"Computer Aided Geometric Design"},{"issue":"1","key":"260014_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F. and Older, W.: Applying Interval Arithmetic to Real, Integer, and Boolean Constraints, Journal of Logic Programming\n32(1) (1997), pp. 1-24.","journal-title":"Journal of Logic Programming"},{"key":"260014_CR5","unstructured":"BNR Prolog User Guide and Reference Manual, Software Engineering Center, Bell-Northern Research, Ottawa, Canada, 1988."},{"key":"260014_CR6","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/143242.143314","volume-title":"Proc. of ISSAC'92","author":"R. Fateman","year":"1992","unstructured":"Fateman, R.: Honest Plotting, Global Extrema and Interval Arithmetic, in: Proc. of ISSAC'92, ACM Press, Berkeley, CA, 1992, pp. 216-223."},{"key":"260014_CR7","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1080\/00029890.1970.11992636","volume":"77","author":"G. Forsythe","year":"1970","unstructured":"Forsythe, G.: Pitfalis in Computation, or Why a Math Book Isn't Enough, Amer. Math. Monthly\n77 (1970), pp. 931-956.","journal-title":"Amer. Math. Monthly"},{"key":"260014_CR8","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, 1992."},{"key":"260014_CR9","unstructured":"Hickey, T.: IASolver, Java applet accessible via http:\/\/www.cs.brandeis.edu\/~tim."},{"key":"260014_CR10","unstructured":"Moore, R.: Interval Analysis, Prentice-Hall, 1966."},{"key":"260014_CR11","doi-asserted-by":"crossref","unstructured":"Snyder, J.: Interval Analysis for Computer Graphics, Computer Graphics (1992), pp. 121-129.","DOI":"10.1016\/B978-0-12-654040-6.50011-1"},{"key":"260014_CR12","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1093\/comjnl\/33.5.402","volume":"33","author":"K. Suffern","year":"1990","unstructured":"Suffern, K.: Quadtree Algorithms for Contouring Functions of Two Variables, The Computer Journal\n33 (1990), pp. 402-407.","journal-title":"The Computer Journal"},{"key":"260014_CR13","unstructured":"Timmer, H.: Analytic Background for Computation of Surface Intersections, Douglas Aircraft Company Technical Memorandum CI-250-CAT-77-036, 1977."},{"key":"260014_CR14","unstructured":"Tupper, J.: Graphing Equations with Generalized Interval Arithmetic, M. Sc. thesis, Department of Computer Science, University of Toronto, 1996."},{"key":"260014_CR15","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1023\/A:1009705709733","volume":"2","author":"M. van Emden","year":"1997","unstructured":"van Emden, M.: Value Constraints in the CLP Scheme, Constraints: An International Journal\n2 (1997), pp. 163-183.","journal-title":"Constraints: An International Journal"},{"key":"260014_CR16","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Michel, L., and Deville, Y.: Numerica: A Modelling Language for Global Optimization, MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"260014_CR17","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1093\/comjnl\/31.4.358","volume":"31","author":"R. Williams","year":"1988","unstructured":"Williams, R.: The Goblin Quadtree, The Computer Journal\n31 (1988), pp. 358-363.","journal-title":"The Computer Journal"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009950630139.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009950630139\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009950630139.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:43:06Z","timestamp":1754473386000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009950630139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["260014"],"URL":"https:\/\/doi.org\/10.1023\/a:1009950630139","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}