{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:36:21Z","timestamp":1725582981626},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210457"},{"type":"electronic","value":"9783642210464"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21046-4_8","type":"book-chapter","created":{"date-parts":[[2011,5,3]],"date-time":"2011-05-03T14:57:03Z","timestamp":1304434623000},"page":"163-178","source":"Crossref","is-referenced-by-count":0,"title":["Linear Programming for Bernstein Based Solvers"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Michelucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"F\u00fcnfzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Beaumont, O.: Algorithmique pour les intervalles. Ph.D. thesis, Universit\u00e9 de Rennes 1 (1999)"},{"key":"8_CR2","volume-title":"Introduction to algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to algorithms, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"issue":"5","key":"8_CR3","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s11155-007-9043-8","volume":"13","author":"N. Delanoue","year":"2007","unstructured":"Delanoue, N., Jaulin, L., Cottenceau, B.: Guaranteeing the homotopy type of a set defined by nonlinear inequalities. Reliable Computing\u00a013(5), 381\u2013398 (2007)","journal-title":"Reliable Computing"},{"key":"8_CR4","unstructured":"Durand, C.B.: Symbolic and Numerical Techniques for Constraint Solving. Ph.D. thesis, Purdue University (1998)"},{"key":"8_CR5","first-page":"1","volume-title":"SMA 2001: Proc. of the 6th ACM Symp. on Solid Modeling and Applications","author":"G. Elber","year":"2001","unstructured":"Elber, G., Kim, M.-S.: Geometric constraint solver using multivariate rational spline functions. In: SMA 2001: Proc. of the 6th ACM Symp. on Solid Modeling and Applications, pp. 1\u201310. ACM Press, New York (2001), doi:10.1145\/376957.376958"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/1629255.1629271","volume-title":"SPM 2009: 2009 SIAM\/ACM Joint Conference on Geometric and Physical Modeling","author":"C. F\u00fcnfzig","year":"2009","unstructured":"F\u00fcnfzig, C., Michelucci, D., Foufou, S.: Nonlinear systems solver in floating-point arithmetic using lp reduction. In: SPM 2009: 2009 SIAM\/ACM Joint Conference on Geometric and Physical Modeling, pp. 123\u2013134. ACM, New York (2009), doi:10.1145\/1629255.1629271"},{"key":"8_CR7","volume-title":"CD Proceedings of Eighth International Symposium on Tools and Methods of Competitive Engineering (TMCE 2010)","author":"C. F\u00fcnfzig","year":"2010","unstructured":"F\u00fcnfzig, C., Michelucci, D., Foufou, S.: Optimizations for bernstein-based solvers using domain reduction. In: CD Proceedings of Eighth International Symposium on Tools and Methods of Competitive Engineering (TMCE 2010). Faculty of Industrial Design Engineering, Delft University of Technology, Ancona, Italy (2010)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0362-546X(01)00166-3","volume":"47","author":"J. Garloff","year":"2001","unstructured":"Garloff, J., Smith, A.P.: Investigation of a subdivision based algorithm for solving systems of polynomial equations. Journal of Nonlinear Analysis: Series A Theory and Methods\u00a047(1), 167\u2013178 (2001)","journal-title":"Journal of Nonlinear Analysis : Series A Theory and Methods"},{"key":"8_CR9","doi-asserted-by":"publisher","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, Dordrecht (1996)"},{"issue":"19","key":"8_CR10","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1016\/S0167-8396(02)00146-2","volume":"7","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\u00a07(19), 553\u2013587 (2002), citeseer.ist.psu.edu\/article\/martin02comparison.html","journal-title":"Computer Aided Geometric Design"},{"key":"8_CR11","first-page":"37","volume-title":"Proceedings of 8th Conference on Real Numbers and Computers","author":"D. Michelucci","year":"2008","unstructured":"Michelucci, D., Foufou, S.: Bernstein basis for interval analysis: application to geometric constraints systems solving. In: Bruguera, Daumas (eds.) Proceedings of 8th Conference on Real Numbers and Computers, pp. 37\u201346. Unidixital, Santiago de Compostela (2008)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Michelucci, D.: Solving geometric constraints by homotopy. IEEE Trans on Visualization and Computer Graphics, 28\u201334 (1996)","DOI":"10.1109\/2945.489384"},{"issue":"44","key":"8_CR13","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.jsc.2008.04.016","volume":"3","author":"B. Mourrain","year":"2009","unstructured":"Mourrain, B., Pavone, J.-P.: Subdivision methods for solving polynomial equations. Journal of Symbolic Computation\u00a03(44), 292\u2013306 (2009)","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.tcs.2005.09.055","volume":"351","author":"N. Delanoue","year":"2006","unstructured":"Delanoue, N., Jaulin, L., Cottenceau, B.: Using interval arithmetic to prove that a set is path-connected. Theoretical Computer Science, Special issue: Real Numbers and Computers\u00a0351(1), 119\u2013128 (2006)","journal-title":"Theoretical Computer Science, Special issue: Real Numbers and Computers"},{"issue":"3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s00371-007-0184-x","volume":"24","author":"M. Reuter","year":"2008","unstructured":"Reuter, M., Mikkelsen, T.S., Sherbrooke, E.C., Maekawa, T., Patrikalakis, N.M.: Solving nonlinear polynomial systems in the barycentric bernstein basis. Vis. Comput.\u00a024(3), 187\u2013200 (2008)","journal-title":"Vis. Comput."},{"issue":"5","key":"8_CR16","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0167-8396(93)90019-Y","volume":"10","author":"E.C. Sherbrooke","year":"1993","unstructured":"Sherbrooke, E.C., Patrikalakis, N.M.: Computation of the solutions of nonlinear polynomial systems. Comput. Aided Geom. Des.\u00a010(5), 379\u2013405 (1993)","journal-title":"Comput. Aided Geom. Des."},{"key":"8_CR17","doi-asserted-by":"publisher","DOI":"10.1142\/5763","volume-title":"Numerical solution of polynomial systems arising in engineering and science","author":"A.J. Sommese","year":"2005","unstructured":"Sommese, A.J., Wampler, C.W.: Numerical solution of polynomial systems arising in engineering and science. World Scientific Press, Singapore (2005)"},{"key":"8_CR18","unstructured":"Wunderling, R.: Paralleler und objektorientierter Simplex-Algorithmus. Ph.D. thesis, TU Berlin (1996), http:\/\/www.zib.de\/Publications\/abstracts\/TR-96-09\/"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21046-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T13:23:55Z","timestamp":1560173035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21046-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210457","9783642210464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21046-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}