{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T13:10:29Z","timestamp":1740316229091,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212973"},{"type":"electronic","value":"9783540247234"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24723-4_9","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:24Z","timestamp":1280276064000},"page":"120-133","source":"Crossref","is-referenced-by-count":7,"title":["A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Clauss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Tchoupaeva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"The polyhedral library polylib, http:\/\/icps.u-strasbg.fr\/PolyLib"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1016\/S0010-4485(00)00056-7","volume":"32","author":"J. Berchtold","year":"2000","unstructured":"Berchtold, J., Bowyer, A.: Robust arithmetic for multivariate bernsteinform polynomials. Computer-aided Design\u00a032, 681\u2013689 (2000)","journal-title":"Computer-aided Design"},{"key":"9_CR3","unstructured":"Bernstein, S.: Collected Works, vol.\u00a01. USSR Academy of Sciences (1952)"},{"key":"9_CR4","unstructured":"Bernstein, S.: Collected Works, vol.\u00a02. USSR Academy of Sciences (1954)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Blume, W., Eigenmann, R.: Symbolic range propagation. In: 9th Int. Parallel Processing Symposium (April 1995)","DOI":"10.1007\/BFb0014197"},{"issue":"12","key":"9_CR6","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1109\/71.737695","volume":"9","author":"W. Blume","year":"1998","unstructured":"Blume, W., Eigenmann, R.: Non-linear and symbolic data dependence testing. IEEE Transactions on Parallel and Distributed Systems\u00a09(12), 1180\u20131194 (1998)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Clauss, P., Meister, B.: Automatic memory layout transformation to optimize spatial locality in parameterized loop nests. ACM SIGARCH Computer Architecture News\u00a028(1) (March 2000)","DOI":"10.1145\/346023.346031"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Delgado, J., Pe\u00f1a, J.M.: A linear complexity algorithm for the bernstein basis. In: IEEE Int. Conf. on Geometric Modeling and Graphics (GMAG 2003), July 2003, pp. 162\u2013167 (2003)","DOI":"10.1109\/GMAG.2003.1219682"},{"key":"9_CR9","unstructured":"Van Engelen, R., Gallivan, K., Walsh, B.: Tight timing estimation with the newton-gregory formulae. In: 10th Workshop on Compilers for Parallel Computers, CPC 2003 (January 2003)"},{"key":"9_CR10","volume-title":"Curves and Surfaces in Computer Aided Geometric Design","author":"G. Farin","year":"1993","unstructured":"Farin, G.: Curves and Surfaces in Computer Aided Geometric Design. Academic Press, San Diego (1993)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0167-8396(87)90012-4","volume":"4","author":"R.T. Farouki","year":"1987","unstructured":"Farouki, R.T., Rajan, V.T.: On the numerical condition of polynomials in bernstein form. Computer Aided Geometric Design\u00a04, 191\u2013216 (1987)","journal-title":"Computer Aided Geometric Design"},{"key":"9_CR12","unstructured":"Garloff, J.: Application of bernstein expansion to the solution of control problems. In: Vehi, J., Sainz, M.A. (eds.) Proceedings of MISC 1999 - Workshop on Applications of Interval Analysis to Systems and Control, University of Girona, Girona (Spain), pp. 421\u2013430 (1999)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Garloff, J., Graf, B.: Solving Strict Polynomial Inequalities by Bernstein Expansion. In: The Use of Symbolic Methods in Control System Analysis and Design, Institution of Electrical Engineers (IEE), London, pp. 339\u2013352 (1999)","DOI":"10.1049\/PBCE056E_ch14"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1016\/S0167-8396(02)00146-2","volume":"19","author":"R. Martin","year":"2002","unstructured":"Martin, R., Shou, H., Voiculescu, I., Bowyer, A., Wang, G.: Comparison of interval methods for plotting algebraic curves. Computer Aided Geometric Design\u00a019, 553\u2013587 (2002)","journal-title":"Computer Aided Geometric Design"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Parallel Processing: CONPAR 94 - VAPP VI","author":"V. Maslov","year":"1994","unstructured":"Maslov, V., Pugh, W.: Simplifying polynomial constraints over integers to make dependence analysis more precise. In: Buchberger, B., Volkert, J. (eds.) CONPAR 1994 and VAPP 1994. LNCS, vol.\u00a0854. Springer, Heidelberg (1994)"},{"key":"9_CR16","unstructured":"Pop, S.: Analysis of induction variables using chains of recurrences: extensions. Master\u2019s thesis, Universit\u00e9 Louis Pasteur, Strasbourg (July 2003)"},{"key":"9_CR17","unstructured":"Stahl, V.: Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations. PhD thesis, Johannes Kepler University Linz, Austria (1995)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24723-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:29:36Z","timestamp":1740313776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24723-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212973","9783540247234"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24723-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}