Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations

Reliable Computing

Volumn 6, Issue 1, 2000, Pages 81-92

  Hickey, Timothy J ^a   Qiu, Zhe ^c   Van Emden, Maarten H ^b  

^a BRANDEIS UNIVERSITY   (United States)

^b UNIVERSITY OF VICTORIA   (Canada)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006482961     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009950630139     Document Type: Article

References (17)

1. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, 1983.
2. 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.
3. Bajaj, C., Hoffman, C., Hopcroft, J., and Lynch, R.: Tracing Surface Intersections, Computer Aided Geometric Design 5 (1988), pp. 285-307.
4. Benhamou, F. and Older, W.: Applying Interval Arithmetic to Real, Integer, and Boolean Constraints, Journal of Logic Programming 32 (1) (1997), pp. 1-24.
5. BNR Prolog User Guide and Reference Manual, Software Engineering Center, Bell-Northern Research, Ottawa, Canada, 1988.
6. Fateman, R.: Honest Plotting, Global Extrema and Interval Arithmetic, in: Proc. of ISSAC'92, ACM Press, Berkeley, CA, 1992, pp. 216-223.
7. Forsythe, G.: Pitfalls in Computation, or Why a Math Book Isn't Enough, Amer. Math. Monthly 77 (1970), pp. 931-956.
8. Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, 1992.
9. Hickey, T.: IASolver, Java applet accessible via http://www.cs.brandeis.edu/~tim.
10. Moore, R.: Interval Analysis, Prentice-Hall, 1966.
11. Snyder, J.: Interval Analysis for Computer Graphics, Computer Graphics (1992), pp. 121-129.
12. Suffern, K.; Quadtree Algorithms for Contouring Functions of Two Variables, The Computer Journal 33 (1990), pp. 402-407.
13. Timmer, H.: Analytic Background for Computation of Surface Intersections, Douglas Aircraft Company Technical Memorandum CI-250-CAT-77-036, 1977.
14. Tupper, J.: Graphing Equations with Generalized Interval Arithmetic, M. Sc. thesis, Department of Computer Science, University of Toronto, 1996.
15. van Emden, M.: Value Constraints in the CLP Scheme, Constraints: An International Journal 2 (1997), pp. 163-183.
16. Van Hentenryck, P., Michel, L., and Deville, Y.: Numerica: A Modelling Language for Global Optimization, MIT Press, 1997.
17. Williams, R.: The Goblin Quadtree, The Computer Journal 31 (1988), pp. 358-363.