{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T19:16:41Z","timestamp":1723058201603},"reference-count":121,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,12,20]],"date-time":"2006-12-20T00:00:00Z","timestamp":1166572800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[2007,1,15]]},"DOI":"10.1007\/s11155-006-9023-4","type":"journal-article","created":{"date-parts":[[2006,12,19]],"date-time":"2006-12-19T14:15:55Z","timestamp":1166537755000},"page":"211-244","source":"Crossref","is-referenced-by-count":6,"title":["Solving Interval Constraints by Linearization in Computer-Aided Design"],"prefix":"10.1007","volume":"13","author":[{"given":"Yan","family":"Wang","sequence":"first","affiliation":[]},{"given":"Bartholomew O.","family":"Nnaji","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,12,20]]},"reference":[{"issue":"3","key":"9023_CR1","doi-asserted-by":"crossref","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 20 (3) (1988), pp. 117\u2013126.","journal-title":"Computer- Aided Design"},{"key":"9023_CR2","doi-asserted-by":"crossref","unstructured":"Aldfeld, B.: Rule-Based Approach to Variational Geometry, in: Smith, A. (ed.), Knowledge Engineering and Computer Modelling in CAD, Proceedings of the 7th International Conference on the Computer as a Design Tool, September 2\u20135, 1986, London, pp. 59\u201367.","DOI":"10.1016\/B978-0-408-00824-2.50015-9"},{"key":"9023_CR3","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02243480","volume":"26","author":"G. Alefeld","year":"1981","unstructured":"Alefeld, G.: Bounding the Slope of Polynomial Operators and Some Applications, Computing 26 (1981), pp. 227\u2013237.","journal-title":"Computing"},{"issue":"2","key":"9023_CR4","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1137\/0721027","volume":"21","author":"G. Alefeld","year":"1984","unstructured":"Alefeld, G.: On the Convergence of Some Interval-Arithmetic Modifications of Newton's Method, SIAM Journal on Numerical Analysis 21 (2) (1984), pp. 363\u2013372.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR5","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983."},{"issue":"1\u20132","key":"9023_CR6","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/S0377-0427(00)00342-3","volume":"121","author":"G. Alefeld","year":"2000","unstructured":"Alefeld, G. and Mayer, G.: Interval Analysis: Theory and Application, Journal of Computational and Applied Mathematics 121 (1\u20132) (2000), pp. 421\u2013464.","journal-title":"Journal of Computational and Applied Mathematics"},{"issue":"1","key":"9023_CR7","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1137\/0720014","volume":"20","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Platzoder, L.: A Quadratically Convergent Krawczyk-Like Algorithm, SIAM Journal on Numerical Analysis 20 (1) (1983), pp. 210\u2013219.","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"9","key":"9023_CR8","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1016\/0010-4485(96)00001-2","volume":"28","author":"R. Anantha","year":"1996","unstructured":"Anantha, R., Kramer, G. A., and Crawford, R. H.: Assembly Modelling by Geometric Constraint Satisfaction, Computer-Aided Design 28 (9) (1996), pp. 707\u2013722.","journal-title":"Computer-Aided Design"},{"issue":"3","key":"9023_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1009943413814","volume":"3","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F. and Granvilliers, L.: Automatic Generation of Numerical Redundancies for Non- Linear Constraint Solving, Reliable Computing 3 (3) (1997), pp. 335\u2013344.","journal-title":"Reliable Computing"},{"key":"9023_CR10","volume-title":"Modern Map Methods in Particle Beam Physics","author":"M. Berz","year":"1999","unstructured":"Berz, M.: Modern Map Methods in Particle Beam Physics, Academic Press, San Diego, 1999."},{"issue":"1","key":"9023_CR11","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009958918582","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M. and Hoffstatter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Bounds, Reliable Computing 4 (1) (1998), pp. 83\u201397.","journal-title":"Reliable Computing"},{"key":"9023_CR12","unstructured":"Bliek, C.: Computer Methods for Design Automation, unpublished Ph.D. thesis, Massachusetts Institute of Technology, 1992."},{"issue":"6","key":"9023_CR13","doi-asserted-by":"crossref","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., Cai, J., and Paige, R.: Geometric Constraint Solver, Computer-Aided Design 27 (6) (1995), pp. 487\u2013501.","journal-title":"Computer-Aided Design"},{"key":"9023_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1146\/annurev.cs.03.060188.000505","volume":"3","author":"B. Buchberger","year":"1988","unstructured":"Buchberger, B., Collins, G., and Kutzler, B.: Algebraic Methods for Geometric Reasoning, Annual Review of Computer Science 3 (1988), pp. 85\u2013120.","journal-title":"Annual Review of Computer Science"},{"issue":"1","key":"9023_CR15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s00607-002-1448-y","volume":"69","author":"M. Ceberio","year":"2002","unstructured":"Ceberio, M. and Granvilliers, L.: Horner's Rule for Interval Evaluation Revisited, Computing 69 (1) (2002), pp. 51\u201381.","journal-title":"Computing"},{"issue":"10","key":"9023_CR16","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S0010-4485(00)00021-X","volume":"32","author":"F. Chen","year":"2000","unstructured":"Chen, F. and Lou, W.: Degree Reduction of Interval Bezier Curves, Computer-Aided Design 32 (10) (2000), pp. 571\u2013582.","journal-title":"Computer-Aided Design"},{"key":"9023_CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF02684394","volume":"58","author":"X. Chen","year":"1997","unstructured":"Chen, X.: A Verification Method for Solutions of Nonsmooth Equations, Computing 58 (1997), pp. 281\u2013294","journal-title":"Computing"},{"issue":"2","key":"9023_CR18","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1014754106275","volume":"8","author":"C.-K. Chiu","year":"2002","unstructured":"Chiu, C.-K. and Lee, J. H.-M.: Efficient Interval Linear Equality Solving in Constraint Logic Programming, Reliable Computing 8 (2) (2002), pp. 139\u2013174.","journal-title":"Reliable Computing"},{"key":"9023_CR19","unstructured":"Chyz, W.: Constraint Management for CSG, Unpublished Master Thesis, Massachusetts Institute of Technology, 1985."},{"key":"9023_CR20","doi-asserted-by":"crossref","unstructured":"Collins, G. E. and Akritas, A. G.: Polynomial Real Root Isolation Using Descarte's Rule of Signs, in: Proceedings of the Third ACM Symposium on Symbolic and Algebraic Computation, August 10\u201312, 1976, Yorktown Heights, New York, pp. 272\u2013275.","DOI":"10.1145\/800205.806346"},{"key":"9023_CR21","doi-asserted-by":"crossref","unstructured":"Collins, G. E. and Johnson, J. R.: Quantifier Elimination and the Sign Variation Method for Real Root Isolation, in: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, July 17\u201319, 1989 Portland, Oregon, pp. 264\u2013271.","DOI":"10.1145\/74540.74574"},{"issue":"2","key":"9023_CR22","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/142920.134027","volume":"26","author":"T. Duff","year":"1992","unstructured":"Duff, T.: Interval Arithmetic and Recursive Subdivision for Implicit Functions and Constructive Solid Geometry, Computer Graphics 26 (2) (1992), pp. 131\u2013138.","journal-title":"Computer Graphics"},{"key":"9023_CR23","unstructured":"Finch, W. W. and Ward, A. C.: A Set-Based System for Eliminating Infeasible Designs in Engineering Problems Dominated by Uncertainty, in: ASME Proceedings of DETC97\/dtm-3886, Sept. 14\u201317, 1997, Sacramento, CA, USA."},{"issue":"2","key":"9023_CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/248210.248223","volume":"16","author":"I. Fudos","year":"1997","unstructured":"Fudos, I. and Hoffmann, C. M.: A Graph-Constructive Approach to Solving Systems of Geometric Constraints, ACM Transactions on Graphics 16 (2) (1997), pp. 179\u2013216.","journal-title":"ACM Transactions on Graphics"},{"issue":"2","key":"9023_CR25","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X.-S. Gao","year":"1998","unstructured":"Gao, X.-S. and Chou, S.-C.: Solving Geometric Constraint Systems II: A Symbolic Approach and Decision of Rc-constructibility, Computer Aided-Design 30 (2) (1998), pp. 115\u2013122.","journal-title":"Computer Aided-Design"},{"key":"9023_CR26","unstructured":"Garloff, J.: The Bernstein Algorithm, Interval Computations (2) (1993), pp. 154\u2013168."},{"issue":"14","key":"9023_CR27","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/S0010-4485(99)00074-3","volume":"31","author":"J.-X. Ge","year":"1999","unstructured":"Ge, J.-X., Chou, S.-C., and Gao, X.-S.: Geometric Constraint Satisfaction Using Optimization Methods, Computer-Aided Design 31 (14) (1999), pp. 867\u2013879.","journal-title":"Computer-Aided Design"},{"issue":"3","key":"9023_CR28","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/38.503","volume":"8","author":"D. C. Gossard","year":"1988","unstructured":"Gossard, D. C., Zuffante, R. P., and Sakurai, H.: Representing Dimensions, Tolerances, and Features in MCAE Systems, IEEE Computer Graphics & Applications 8 (3) (1988), pp. 51\u201359.","journal-title":"IEEE Computer Graphics & Applications"},{"issue":"5","key":"9023_CR29","doi-asserted-by":"crossref","first-page":"1493","DOI":"10.1137\/0729086","volume":"29","author":"E. Hansen","year":"1992","unstructured":"Hansen, E.: Bounding the Solution of Interval Linear Equations, SIAM Journal on Numerical Analysis 29 (5) (1992), pp. 1493\u20131503.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR30","first-page":"308","volume":"2","author":"E. Hansen","year":"1965","unstructured":"Hansen, E.: Interval Arithmetic in Matrix Computations, SIAM Journal on Numerical Analysis 2 (1965), pp. 308\u2013320.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR31","first-page":"153","volume":"20","author":"E. R. Hansen","year":"1978","unstructured":"Hansen, E. R.: Interval Forms of Newton's Method, BIT 20 (1978), pp. 153\u2013163.","journal-title":"BIT"},{"issue":"2","key":"9023_CR32","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02684439","volume":"58","author":"E. Hansen","year":"1997","unstructured":"Hansen, E.: Preconditioning Linearized Equations, Computing 58 (2) (1997), pp. 187\u2013196.","journal-title":"Computing"},{"issue":"2\u20133","key":"9023_CR33","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0096-3003(83)90001-2","volume":"12","author":"E. R. Hansen","year":"1983","unstructured":"Hansen, E. R. and Greenberg, R. I.: An Interval Newton Method, Applied Mathematics and Computation 12 (2\u20133) (1983), pp. 89\u201398.","journal-title":"Applied Mathematics and Computation"},{"key":"9023_CR34","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01933165","volume":"21","author":"E. Hansen","year":"1981","unstructured":"Hansen, E. and Sengupta, S.: Bounding Solutions of Systems of Equations Using Interval Analysis, BIT 21 (1981), pp. 203\u2013211.","journal-title":"BIT"},{"issue":"1","key":"9023_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1137\/0704001","volume":"4","author":"E. Hansen","year":"1967","unstructured":"Hansen, E. and Smith, R.: Interval Arithmetic in Matrix Computations, Part II, SIAM Journal on Numerical Analysis 4 (1) (1967), pp. 1\u20139.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR36","volume-title":"Global Optimization Using Interval Analysis","author":"E. Hansen","year":"2004","unstructured":"Hansen, E. and Walster, G. W.: Global Optimization Using Interval Analysis, 2nd Edition, Marcel Dekker, New York, 2004.","edition":"2nd Edition"},{"issue":"2","key":"9023_CR37","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1023\/A:1014797921296","volume":"8","author":"E. R. Hansen","year":"2002","unstructured":"Hansen, E. R. and Walster, G. W.: Sharp Bounds on Interval Polynomial Roots, Reliable Computing 8 (2) (2002), pp. 115\u2013122.","journal-title":"Reliable Computing"},{"issue":"3","key":"9023_CR38","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0010-4485(78)90140-9","volume":"10","author":"R. C. Hillyard","year":"1978","unstructured":"Hillyard, R. C. and Braid, I. C., Analysis of Dimensions and Tolerances in Computer-Aided Mechanical Design, Computer-Aided Design 10 (3) (1978), pp. 161\u2013166.","journal-title":"Computer-Aided Design"},{"issue":"4","key":"9023_CR39","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1006\/jsco.2000.0402","volume":"31","author":"C. M. Hoffmann","year":"2001","unstructured":"Hoffmann, C. M., Lomonosov, A., and Sitharam, M.: Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD, Journal of Symbolic Computation 31 (4) (2001), pp. 367\u2013408.","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"9023_CR40","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1006\/jsco.2000.0403","volume":"31","author":"C. M. Hoffmann","year":"2001","unstructured":"Hoffmann, C. M., Lomonosov, A., and Sitharam, M.: Decomposition Plans for Geometric Constraint Systems, Part II: New Algorithms, Journal of Symbolic Computation 31 (4) (2001), pp. 409\u2013427.","journal-title":"Journal of Symbolic Computation"},{"key":"9023_CR41","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF02238236","volume":"55","author":"H. Hong","year":"1995","unstructured":"Hong, H. and Stahl, V.: Bernstein Form Is Inclusion Monotone, Computing 55 (1995), pp. 43\u201353.","journal-title":"Computing"},{"key":"9023_CR42","doi-asserted-by":"crossref","unstructured":"Hsu, C. Y. and Bruderlin, B.: Constraint Objects\u2014Integrating Constraint Definition and Graphical Interaction, in: ACM Proceedings of the Second Symposium on Solid Modeling and Applications, 1993, Montreal, Quebec, Canada, pp. 467\u2013468.","DOI":"10.1145\/164360.164522"},{"issue":"9","key":"9023_CR43","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1016\/S0010-4485(96)00099-1","volume":"29","author":"C. Y. Hu","year":"1997","unstructured":"Hu, C. Y., Maekawa, T., Patrikalakis, N. M., and Ye, X.: Robust Interval Algorithm for Surface Intersections, Computer-Aided Design 29 (9) (1997), pp. 617\u2013627.","journal-title":"Computer-Aided Design"},{"issue":"10","key":"9023_CR44","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1016\/0010-4485(96)00014-0","volume":"28","author":"C. Y. Hu","year":"1996","unstructured":"Hu, C. Y., Patrikalakis, N. M., and Ye, X.: Robust Interval Solid Modeling, Part II: Boundary Evaluation, Computer-Aided Design 28 (10) (1996), pp. 819\u2013830.","journal-title":"Computer-Aided Design"},{"issue":"1","key":"9023_CR45","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1009942430877","volume":"4","author":"A. R. Hungerbuhler","year":"1998","unstructured":"Hungerbuhler, A. R. and Garloff, B. J.: Bounds for the Range of a Bivariate Polynomial over a Triangle, Reliable Computing 4 (1) (1998), pp. 3\u201313.","journal-title":"Reliable Computing"},{"key":"9023_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., and Walter, E.: Applied Interval Analysis, Springer, London, 2001."},{"issue":"3","key":"9023_CR47","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/74334.74364","volume":"23","author":"D. Kalra","year":"1989","unstructured":"Kalra, D. and Barr, A. H.: Guaranteed Ray Intersections with Implicit Surfaces, Computer Graphics 23 (3) (1989), pp. 297\u2013304.","journal-title":"Computer Graphics"},{"key":"9023_CR48","first-page":"33","volume-title":"Computing Supplementum","author":"E. Kaucher","year":"1980","unstructured":"Kaucher, E.: Interval Analysis in the Extended Interval Space IR, Computing Supplementum 2, Springer, Heidelberg, 1980, pp. 33\u201349."},{"issue":"4","key":"9023_CR49","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1023\/A:1016381031155","volume":"8","author":"R. B. Kearfott","year":"2002","unstructured":"Kearfott, R. B.: On Existence and Uniqueness Verification for Non-Smooth Functions, Reliable Computing 8 (4) (2002), pp. 267\u2013282.","journal-title":"Reliable Computing"},{"issue":"3","key":"9023_CR50","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1137\/0727047","volume":"27","author":"R. B. Kearfott","year":"1990","unstructured":"Kearfott, R. B.: Preconditioners for the Interval Gauss-Seidel Method, SIAM Journal on Numerical Analysis 27 (3) (1990), pp. 804\u2013822.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR51","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R. B. Kearfott","year":"1996","unstructured":"Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996."},{"issue":"6","key":"9023_CR52","doi-asserted-by":"crossref","first-page":"2350","DOI":"10.1137\/S0036142901386057","volume":"41","author":"R. B. Kearfott","year":"2003","unstructured":"Kearfott, R. B. and Dian, J.: Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems, SIAM Journal on Numerical Analysis 41 (6) (2003), pp. 2350\u20132373.","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"2","key":"9023_CR53","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1137\/S0036142999361074","volume":"38","author":"R. B. Kearfott","year":"2000","unstructured":"Kearfott, R. B., Dian, J., and Neumaier, A.: ExistenceVerification for Singular Zeros of Complex Nonlinear Systems, SIAM Journal on Numerical Analysis 38 (2) (2000), pp. 360\u2013379.","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"6","key":"9023_CR54","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1021364526413","volume":"8","author":"R. B. Kearfott","year":"2002","unstructured":"Kearfott, R. B. and Walster, G. W.: Symbolic Preconditioning with Taylor Models: Some Examples, Reliable Computing 8 (6) (2002), pp. 453\u2013468.","journal-title":"Reliable Computing"},{"issue":"2","key":"9023_CR55","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1009981025255","volume":"4","author":"L. V. Kolev","year":"1998","unstructured":"Kolev, L. V.: A New Method for Global Solution of Systems of Non-Linear Equations, Reliable Computing 4 (2) (1998), pp. 125\u2013146.","journal-title":"Reliable Computing"},{"issue":"2","key":"9023_CR56","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1023\/A:1009935303343","volume":"5","author":"L. V. Kolev","year":"1999","unstructured":"Kolev, L. V.: An Improved Method for Global Solution of Non-Linear Systems, Reliable Computing 5 (2) (1999), pp. 103\u2013111.","journal-title":"Reliable Computing"},{"issue":"1","key":"9023_CR57","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1023\/A:1011470916953","volume":"7","author":"L. V. Kolev","year":"2001","unstructured":"Kolev, L. V.: Automatic Computation of a Linear Interval Enclosure, Reliable Computing 7 (1) (2001), pp. 17\u201328.","journal-title":"Reliable Computing"},{"issue":"1","key":"9023_CR58","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009902813842","volume":"3","author":"L. Kolev","year":"1997","unstructured":"Kolev, L.: Use of Interval Slopes for the Irrational Part of Factorable Functions, Reliable Computing 3 (1) (1997), pp. 83\u201393.","journal-title":"Reliable Computing"},{"issue":"5","key":"9023_CR59","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1023\/A:1011475926711","volume":"7","author":"L. V. Kolev","year":"2001","unstructured":"Kolev, L. V. and Nenov, I.: Cheap and Tight Bounds on the Solution Set of Perturbed Systems of Nonlinear Equations, Reliable Computing 7 (5) (2001), pp. 399\u2013408.","journal-title":"Reliable Computing"},{"issue":"3","key":"9023_CR60","doi-asserted-by":"crossref","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 24 (3) (1992), pp. 141\u2013147.","journal-title":"Computer-Aided Design"},{"issue":"10","key":"9023_CR61","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/0010-4485(90)90010-A","volume":"22","author":"K. Kondo","year":"1990","unstructured":"Kondo, K.: PIGMOD: Parametric and Interactive Geometric Modeller for Mechanical Design, Computer-Aided Design 22 (10) (1990), pp. 633\u2013644.","journal-title":"Computer-Aided Design"},{"key":"9023_CR62","unstructured":"Kramer, G. A.: A Geometric Constraint Engine, in: Freuder, E. C. and Mackworth, A. K. (eds), Artificial Intelligence: Constraint-Based Reasoning 58, Elsever, 1992, pp. 327\u2013360."},{"key":"9023_CR63","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"Krawczyk, R.: Newton-Algorithmen zur Bestimmug von Nullstellen mit Fehlerschranken, Computing 4 (1969), pp. 187\u2013201.","journal-title":"Computing"},{"issue":"1","key":"9023_CR64","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-247X(86)90303-3","volume":"118","author":"R. Krawczyk","year":"1986","unstructured":"Krawczyk, R. and Neumaier, A.: An Improved Interval Newton Operator, Journal of Mathematical Analysis and Applications 118 (1) (1986), pp. 194\u2013207.","journal-title":"Journal of Mathematical Analysis and Applications"},{"issue":"3","key":"9023_CR65","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"R. Krawczyk","year":"1985","unstructured":"Krawczyk, R. and Neumaier, A.: Interval Slopes for Rational Functions and Associated Centered Forms, SIAM Journal on Numerical Analysis 22 (3) (1985), pp. 604\u2013615.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR66","doi-asserted-by":"crossref","unstructured":"Lamure, H. and Michelucci, D.: Solving Geometric Constraints by Homotopy, in: Proceedings of the Third ACM Symposium on Solid Modeling and Applications, May 17\u201319, 1995, Salt Lake City, Utah, pp. 263\u2013269.","DOI":"10.1145\/218013.218071"},{"issue":"11","key":"9023_CR67","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R. S. Latham","year":"1996","unstructured":"Latham, R. S. and Middleditch, A. E.: Connectivity Analysis: A Tool for Processing Geometric Constraints, Computer-Aided Design 28 (11) (1996), pp. 917\u2013928.","journal-title":"Computer-Aided Design"},{"issue":"11","key":"9023_CR68","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/S0010-4485(98)00045-1","volume":"30","author":"J.Y. Lee","year":"1998","unstructured":"Lee, J.Y. and Kim, K.:A2-D Geometric Constraint Solver Using DOF-Based Graph Reduction, Computer-Aided Design 30 (11) (1998), pp. 883\u2013896.","journal-title":"Computer-Aided Design"},{"issue":"10","key":"9023_CR69","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1016\/0010-4485(96)00016-4","volume":"28","author":"J. Y. Lee","year":"1996","unstructured":"Lee, J. Y. and Kim, K.: Geometric Reasoning for Knowledge-Based Parametric Design Using Graph Representation, Computer-Aided Design 28 (10) (1996), pp. 831\u2013841.","journal-title":"Computer-Aided Design"},{"issue":"4","key":"9023_CR70","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0010-4485(82)90292-5","volume":"14","author":"R. Light","year":"1982","unstructured":"Light, R. and Gossard, D.: Modification of Geometric Models Through Variational Geometry, Computer-Aided Design 14 (4) (1982), pp. 209\u2013214.","journal-title":"Computer-Aided Design"},{"issue":"9","key":"9023_CR71","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1016\/S0010-4485(01)00130-0","volume":"34","author":"H. Lin","year":"2002","unstructured":"Lin, H., Liu, L., and Wang, G.: Boundary Evaluation for Interval Bezier Curve, Computer-Aided Design 34 (9) (2002), pp. 637\u2013646.","journal-title":"Computer-Aided Design"},{"issue":"5","key":"9023_CR72","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/0167-8396(93)90020-4","volume":"10","author":"T. Maekawa","year":"1993","unstructured":"Maekawa, T. and Patrikalakis, N. M.: Computation of Singularities and Intersections of Offsets of Planar Curves, Computer Aided Geometric Design 10 (5) (1993), pp. 407\u2013429.","journal-title":"Computer Aided Geometric Design"},{"issue":"4","key":"9023_CR73","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/BF01901288","volume":"10","author":"T. Maekawa","year":"1994","unstructured":"Maekawa, T. and Patrikalakis, N. M.: Interrogation of Differential Geometry Properties for Design and Manufacture, The Visual Computer 10 (4) (1994), pp. 216\u2013237.","journal-title":"The Visual Computer"},{"issue":"1","key":"9023_CR74","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1026485406803","volume":"5","author":"K. Makino","year":"1999","unstructured":"Makino, K. and Berz, M.: Efficient Control of the Dependency Problem Based on Taylor Model Methods, Reliable Computing 5 (1) (1999), pp. 3\u201312.","journal-title":"Reliable Computing"},{"key":"9023_CR75","unstructured":"Makino, K. and Berz, M.: Remainder Differential Algebras and Their Applications, in: Berz, M., Bischof, C., Corliss, G., and Griewank, A. (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia pp. 63\u201374."},{"issue":"1\u20132","key":"9023_CR76","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0377-0427(94)00089-J","volume":"60","author":"G. Mayer","year":"1995","unstructured":"Mayer, G.: Epsilon-Infiation in Verification Algorithms, Journal of Computational and Applied Mathematics 60 (1\u20132) (1995), pp. 147\u2013169.","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"9023_CR77","unstructured":"Modares, M., Mullen, R., Muhanna, R. L., and Zhang, H.: Buckling Analysis of Structures with Uncertain Properties and Loads Using an Interval Finite Element Method, in: Muhanna, R. L. and Mullen, R. L. (eds), Proceedings of the 2004 NSF Workshop on Reliable Engineering Computing, September 15\u201317, 2004, Savannah, GA, USA, pp. 317\u2013327."},{"issue":"4","key":"9023_CR78","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/378456.378528","volume":"22","author":"M. Moore","year":"1988","unstructured":"Moore, M. and Wilhelms, J.: Collision Detection and Response for Computer Animation, Computer Graphics 22 (4) (1988), pp. 289\u2013298.","journal-title":"Computer Graphics"},{"key":"9023_CR79","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. E. Moore","year":"1979","unstructured":"Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979."},{"key":"9023_CR80","volume-title":"Reliability in Computing: The Role of Interval Methods in Scientific Computing","year":"1988","unstructured":"Moore, R. E. (ed.): Reliability in Computing: The Role of Interval Methods in Scientific Computing, Academic Press, Boston, 1988."},{"issue":"4","key":"9023_CR81","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1016390830247","volume":"8","author":"R. E. Moore","year":"2002","unstructured":"Moore, R. E.: Sparse Systems in Fixed Point Form, Reliable Computing 8 (4) (2002), pp. 249\u2013265.","journal-title":"Reliable Computing"},{"issue":"4","key":"9023_CR82","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1137\/0719060","volume":"19","author":"R. E. Moore","year":"1982","unstructured":"Moore, R. E. and Qi, L.: A Successive Interval Test for Nonlinear Systems, SIAM Journal on Numerical Analysis 19 (4) (1982), pp. 845\u2013850.","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"2","key":"9023_CR83","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/MCG.1984.275931","volume":"4","author":"S. P. Mudur","year":"1984","unstructured":"Mudur, S. P. and Koparkar, P. A.: Interval Methods for Processing Geometric Objects, IEEE Computer Graphics and Applications 4 (2) (1984), pp. 7\u201317.","journal-title":"IEEE Computer Graphics and Applications"},{"key":"9023_CR84","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1111\/0885-9507.00134","volume":"14","author":"R. L. Muhanna","year":"1999","unstructured":"Muhanna, R. L. and Mullen, R. L.: Formulation of Fuzzy Finite-Element Methods for Solid Mechanics Problems, Computer-Aided Civil and Infrastructure Engineering 14 (1999), pp. 107\u2013117.","journal-title":"Computer-Aided Civil and Infrastructure Engineering"},{"issue":"6","key":"9023_CR85","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1061\/(ASCE)0733-9399(2001)127:6(557)","volume":"127","author":"R. L. Muhanna","year":"2001","unstructured":"Muhanna, R. L. and Mullen, R. L.: Uncertainty in Mechanics Problems\u2014Interval-Based Approach, ASCE Journal of Engineering Mechanics 127 (6) (2001), pp. 557\u2013566.","journal-title":"ASCE Journal of Engineering Mechanics"},{"key":"9023_CR86","unstructured":"Muhanna, R. L., Mullen, R. L., and Zhang, H.: Interval Finite Element as a Basis for Generalized Models of Uncertainty in Engineering Mechanics, in: Muhanna, R. L. and Mullen, R. L. (eds), Proceedings of the 2004 NSFWorkshop on Reliable Engineering Computing, September 15\u201317, 2004, Savannah, GA, USA, pp. 353\u2013370."},{"issue":"3","key":"9023_CR87","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1016\/S0097-8493(01)00070-X","volume":"25","author":"G Mullineux","year":"2001","unstructured":"Mullineux, G: Constraint Resolution Using Optimisation Techniques, Computers & Graphics 25 (3) (2001), pp. 483\u2013492.","journal-title":"Computers & Graphics"},{"issue":"2","key":"9023_CR88","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1009997221089","volume":"5","author":"A. Neumaier","year":"1999","unstructured":"Neumaier, A.: A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations, Reliable Computing 5 (2) (1999), pp. 131\u2013136.","journal-title":"Reliable Computing"},{"key":"9023_CR89","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511526473"},{"issue":"4","key":"9023_CR90","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1137\/S0895479898347472","volume":"21","author":"A. Neumaier","year":"2000","unstructured":"Neumaier, A.: On Shary's Algebraic Approach for Linear Interval Equations, SIAM Journal on Matrix Analysis and Applications 21 (4) (2000), pp. 1156\u20131162.","journal-title":"SIAM Journal on Matrix Analysis and Applications"},{"issue":"1","key":"9023_CR91","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A. Neumaier","year":"2003","unstructured":"Neumaier, A.: Taylor Forms \u2013 Use and Limits, Reliable Computing 9 (1) (2003), pp. 43\u201379.","journal-title":"Reliable Computing"},{"issue":"4","key":"9023_CR92","doi-asserted-by":"crossref","first-page":"1289","DOI":"10.1137\/S0036142994270995","volume":"34","author":"S. Ning","year":"1997","unstructured":"Ning, S. and Kearfott, R. B.: A Comparison of Some Methods for Solving Linear Interval Equations, SIAM Journal on Numerical Analysis 34 (4) (1997), pp. 1289\u20131305.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9023_CR93","doi-asserted-by":"crossref","unstructured":"Owen, J. C.: Algebraic Solution for Geometry from Dimensional Constraints, in: ACM Proceedings of the First Symposium on Solid Modeling Foundations and CAD\/CAM Applications, 1991, Austin, Texas, pp. 397\u2013407.","DOI":"10.1145\/112515.112573"},{"key":"9023_CR94","doi-asserted-by":"crossref","unstructured":"Perez, A. and Serrano, D.: Constraint Based Analysis Tools for Design, in: ACM Proceedings on the 2nd Symposium on Solid Modeling and Applications, 1993, Montreal, Quebec, Canada, pp. 281\u2013291.","DOI":"10.1145\/164360.164443"},{"issue":"4","key":"9023_CR95","doi-asserted-by":"crossref","first-page":"727","DOI":"10.2514\/2.164","volume":"35","author":"S. S. Rao","year":"1997","unstructured":"Rao, S. S. and Berke, L.: Analysis of Uncertain Structural Systems Using Interval Analysis, AIAA Journal 35 (4) (1997), pp. 727\u2013735.","journal-title":"AIAA Journal"},{"key":"9023_CR96","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1115\/1.1479691","volume":"124","author":"S. S. Rao","year":"2002","unstructured":"Rao, S. S. and Cao, L.: Optimum Design of Mechanical Systems Involving Interval Parameters, ASME Journal of Mechanical Design 124 (2002), pp. 465\u2013472.","journal-title":"ASME Journal of Mechanical Design"},{"key":"9023_CR97","volume-title":"Computer Methods for the Range of Functions","author":"H. Ratschek","year":"1984","unstructured":"Ratschek, H. and Rokne, J.: Computer Methods for the Range of Functions, Ellis Horwood, Chichester, 1984, Ch. 6."},{"key":"9023_CR98","volume-title":"New Computer Methods for Global Optimization","author":"H. Ratschek","year":"1988","unstructured":"Ratschek, H. and Rokne, J.: New Computer Methods for Global Optimization, Ellis Horwood, New York, 1988."},{"key":"9023_CR99","first-page":"13","volume":"4","author":"J. Rohn","year":"1993","unstructured":"Rohn, J.: Cheap and Tight Bounds: the Recent Result by E. Hansen Can Be Made More Efficient, Interval Computations 4 (1993), pp. 13\u201321.","journal-title":"Interval Computations"},{"key":"9023_CR100","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF02253136","volume":"21","author":"J. G. Rokne","year":"1979","unstructured":"Rokne, J. G.: A Note on the Bernstein Algorithm for Bounds for Interval Polynomials, Computing 21 (1979), pp. 159\u2013170.","journal-title":"Computing"},{"issue":"5","key":"9023_CR101","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0010-4485(91)90033-S","volume":"23","author":"D. Roller","year":"1991","unstructured":"Roller, D.: An Approach to Computer-Aided Parametric Design, Computer-Aided Design 23 (5) (1991), pp. 385\u2013391.","journal-title":"Computer-Aided Design"},{"issue":"4","key":"9023_CR102","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1024419816707","volume":"4","author":"S. M. Rump","year":"1998","unstructured":"Rump, S. M.: A Note on Epsilon-Infiation, Reliable Computing 4 (4) (1998), pp. 371\u2013375.","journal-title":"Reliable Computing"},{"issue":"1","key":"9023_CR103","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1009967901122","volume":"3","author":"S. M. Rump","year":"1997","unstructured":"Rump, S. M.: Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions, Reliable Computing 3 (1) (1997), pp. 5\u201316.","journal-title":"Reliable Computing"},{"issue":"5","key":"9023_CR104","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/38.156018","volume":"12","author":"T.W. Sederberg","year":"1992","unstructured":"Sederberg, T.W. and Farouki, R. T.: Approximation by Interval Bezier Curves, IEEE Computer Graphics and Applications 12 (5) (1992), pp. 87\u201395.","journal-title":"IEEE Computer Graphics and Applications"},{"issue":"5","key":"9023_CR105","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1023\/A:1020505620702","volume":"8","author":"S. P. Shary","year":"2002","unstructured":"Shary, S. P.: A New Technique in Systems Analysis under Interval Uncertainty and Ambiguity, Reliable Computing 8 (5) (2002), pp. 321\u2013418.","journal-title":"Reliable Computing"},{"issue":"2","key":"9023_CR106","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1023\/A:1009975421252","volume":"3","author":"S. P. Shary","year":"1997","unstructured":"Shary, S. P.: Algebraic Approach in the \u201cOuter Problem\u201d for Interval Linear Equations, Reliable Computing 3 (2) (1997), pp. 103\u2013135.","journal-title":"Reliable Computing"},{"key":"9023_CR107","volume-title":"Generative Modeling for Computer Graphics and CAD: Symbolic Shape Design Using Interval Analysis","author":"J. Snyder","year":"1992","unstructured":"Snyder, J.: Generative Modeling for Computer Graphics and CAD: Symbolic Shape Design Using Interval Analysis, Academic Press, Cambridge, 1992."},{"key":"9023_CR108","doi-asserted-by":"crossref","unstructured":"Snyder, J. M., Woodbury, A. R., Fleischer, K., Currin, B., and Barr, A. H.: Interval Methods for Multi-Point Collisions Between Time-Dependant Curved Surfaces, in: ACMProceedings of the 20th Annual Conference on Computer Graphics and Interactive Techniques, New York, 1993, pp. 321\u2013334.","DOI":"10.1145\/166117.166158"},{"issue":"8","key":"9023_CR109","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1016\/0010-4485(94)90104-X","volume":"26","author":"L. Solano","year":"1994","unstructured":"Solano, L. and Brunet, P.: Constructive Constraint-Based Model for Parametric CAD Systems, Computer-Aided Design 26 (8) (1994), pp. 614\u2013621.","journal-title":"Computer-Aided Design"},{"key":"9023_CR110","unstructured":"Stahl, V., Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations, unpublished Ph.D. thesis, University of Linz, 1995."},{"key":"9023_CR111","first-page":"199","volume-title":"Geometric Modeling for CAD Applications","author":"G. Sunde","year":"1988","unstructured":"Sunde, G.: Specification of Shape by Dimensions and Other Geometric Constraints, in: Wozny, M. J., McLaughlin, H. W., and Encarnacao, J. L. (eds), Geometric Modeling for CAD Applications, IFIP WG 5.2 Working Conference on Geometric Modeling for CAD Applications, May 12\u201316, 1986, Rensselaerville, New York, North-Holland, Amsterdam, 1988, pp. 199\u2013213."},{"issue":"3","key":"9023_CR112","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/325165.325233","volume":"19","author":"D. L. Toth","year":"1985","unstructured":"Toth, D. L.: On Ray Tracing Parametric Surfaces, Computer Graphics 19 (3) (1985), pp. 171\u2013179.","journal-title":"Computer Graphics"},{"issue":"11","key":"9023_CR113","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1016\/S0010-4485(97)00025-0","volume":"29","author":"S. T. Tuohy","year":"1997","unstructured":"Tuohy, S. T., Maekawa, T., Shen, G., and Patrikalakis, N. M.: Approximation of Measured Data with Interval B-Splines, Computer-Aided Design 29 (11) (1997), pp. 791\u2013799.","journal-title":"Computer-Aided Design"},{"issue":"4","key":"9023_CR114","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/97880.97883","volume":"24","author":"B. Herzen von","year":"1990","unstructured":"Von Herzen, B., Barr, A. H., and Zatz, H. R.: Geometric Collisions for Time-Dependent Parametric Surfaces, Computer Graphics 24 (4) (1990), pp. 39\u201348.","journal-title":"Computer Graphics"},{"issue":"11","key":"9023_CR115","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1016\/S0010-4485(00)00053-1","volume":"32","author":"J. Wallner","year":"2000","unstructured":"Wallner, J., Krasauskas, R., and Pottmann, H.: Error Propagation in Geometric Constructions, Computer-Aided Design 32 (11) (2000), pp. 631\u2013641.","journal-title":"Computer-Aided Design"},{"issue":"3","key":"9023_CR116","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1137\/0717032","volume":"17","author":"M. A. Wolfe","year":"1980","unstructured":"Wolfe, M. A.: A Modification of Krawczyk's Algorithm, SIAM Journal on Numerical Analysis 17 (3) (1980), pp. 376\u2013379.","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"3","key":"9023_CR117","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1023\/A:1011430402861","volume":"7","author":"M. A. Wolfe","year":"2001","unstructured":"Wolfe, M. A.: On Bounding Solutions of Underdetermined Systems, Reliable Computing 7 (3) (2001), pp. 195\u2013207.","journal-title":"Reliable Computing"},{"key":"9023_CR118","first-page":"221","volume-title":"Geometric Modeling for Product Engineering","author":"Y. Yamaguchi","year":"1990","unstructured":"Yamaguchi, Y. and Kimura, F.: A Constraint Modeling System for Variational Geometry, in: Wozny, M. J., Turner, J. U., and Preiss, K. (eds), Geometric Modeling for Product Engineering, IFIP WG 5.2\/NSF Working Conference on Geometric Modeling, September 18\u201322, 1988, Rensselaerville, New York, North-Holland, Amsterdam, 1990, pp. 221\u2013233."},{"issue":"4","key":"9023_CR119","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1109\/81.488814","volume":"43","author":"K. Yamamura","year":"1996","unstructured":"Yamamura, K.: An Algorithm for Representing Functions of Many Variables by Superpositions of Functions of One Variable and Addition, IEEE Transactions on Circuits and Systems\u2013I: Fundamental Theory and Application 43 (4) (1996), pp. 338\u2013340.","journal-title":"IEEE Transactions on Circuits and Systems\u2013I: Fundamental Theory and Application"},{"issue":"1","key":"9023_CR120","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1026489507711","volume":"5","author":"D. Zhang","year":"1999","unstructured":"Zhang, D., Li, W., and Shen, Z.: Solving Underdetermined Systems with Interval Methods, Reliable Computing 5 (1) (1999), pp. 23\u201333.","journal-title":"Reliable Computing"},{"issue":"1","key":"9023_CR121","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0096-3003(90)90124-L","volume":"39","author":"S. Zuhe","year":"1990","unstructured":"Zuhe, S. and Wolfe, M. A.: On Interval Enclosures Using Slope Arithmetic, Applied Mathematics and Computation 39 (1) (1990), pp. 89\u2013105.","journal-title":"Applied Mathematics and Computation"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-9023-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-006-9023-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-9023-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T08:31:35Z","timestamp":1559377895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-006-9023-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,20]]},"references-count":121,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,1,15]]}},"alternative-id":["9023"],"URL":"https:\/\/doi.org\/10.1007\/s11155-006-9023-4","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,20]]}}}