{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:01:00Z","timestamp":1725516060605},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855200"},{"type":"electronic","value":"9783540855217"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85521-7_3","type":"book-chapter","created":{"date-parts":[[2008,8,5]],"date-time":"2008-08-05T06:45:26Z","timestamp":1217918726000},"page":"44-56","source":"Crossref","is-referenced-by-count":0,"title":["Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations"],"prefix":"10.1007","author":[{"given":"Eva","family":"Dyllong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1145\/235815.235821","volume":"22","author":"C.B. Barber","year":"1996","unstructured":"Barber, C.B., Dobkin, D.P., Huhdanpaa, H.: The Quickhull algorithm for convex hull. ACM Transactions on Mathematical Software\u00a022(4), 469\u2013483 (1996)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"3_CR2","unstructured":"Dyllong, E.: Akkurate Abstandsalgorithmen mit Ergebnisverifikation. Ph.D. thesis, University of Duisburg-Essen, VDI Reihe 20, Nr. 390, D\u00fcsseldorf (2004)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Dyllong, E., Luther, W.: Verified convex hull and distance computation for octree-encoded objects. Journal of Computational and Applied Mathematics (2006)","DOI":"10.1016\/j.cam.2005.08.043"},{"key":"3_CR4","unstructured":"Fausten, D., Luther, W.: Verifizierte L\u00f6sungen von nichtlinearen polynomialen Gleichungssystemen. Technical Report SM-DU-477, University of Duisburg (2000)"},{"key":"3_CR5","unstructured":"Grimm, C.: Verl\u00e4\u00dfliche Abstandsalgorithmen f\u00fcr intervallbasierte Octreemodelle und ihre konvexen Einschl\u00fcsse \u2013 Ein Effizienzvergleich. Diploma thesis, University of Duisburg (2006)"},{"key":"3_CR6","series-title":"Basic Numerical Problems","volume-title":"C++ Toolbox for Verified Computing","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Basic Numerical Problems. Springer, Berlin (1995)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/B:NUMA.0000049470.99748.8d","volume":"37","author":"S. Krivsky","year":"2004","unstructured":"Krivsky, S., Lang, B.: Using Interval Arithmetic for Determining the Structure of Convex Hulls. Numerical Algorithms\u00a037, 233\u2013240 (2004)","journal-title":"Numerical Algorithms"},{"key":"3_CR8","volume-title":"Interval Analysis","author":"R. Moore","year":"1966","unstructured":"Moore, R.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)"},{"key":"3_CR9","doi-asserted-by":"crossref","DOI":"10.1533\/9780857099518","volume-title":"Geometric Computations with Interval and New Robust Methods","author":"H. Ratschek","year":"2003","unstructured":"Ratschek, H., Rokne, J.: Geometric Computations with Interval and New Robust Methods. Horwood Publishing, Chichester (2003)"},{"key":"3_CR10","volume-title":"The Design and Analysis of Spatial Data Structures","author":"H. Samet","year":"1990","unstructured":"Samet, H.: The Design and Analysis of Spatial Data Structures. Addison-Wesley Publishing Company, Reading (1990)"},{"key":"3_CR11","unstructured":"Zhang, Min.: Konvexe Einschl\u00fcsse von hierarchischen intervallbasierten Modellen. Diploma thesis, University of Duisburg-Essen (2005)"},{"issue":"7","key":"3_CR12","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TCS.1980.1084864","volume":"27","author":"E. Walach","year":"1980","unstructured":"Walach, E., Zeheb, E.: Sign Test of Multivariate Real Polynomials. IEEE Trans. on Circuits and Systems\u00a027(7), 619\u2013625 (1980)","journal-title":"IEEE Trans. on Circuits and Systems"},{"key":"3_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"J. Jaulin","year":"2001","unstructured":"Jaulin, J., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, London (2001)"}],"container-title":["Lecture Notes in Computer Science","Reliable Implementation of Real Number Algorithms: Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85521-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:39:07Z","timestamp":1619523547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85521-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540855200","9783540855217"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85521-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}