{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:15Z","timestamp":1725484275517},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_9","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"176-201","source":"Crossref","is-referenced-by-count":1,"title":["Geometric Modelling with CASL"],"prefix":"10.1007","author":[{"given":"Franck","family":"Ledoux","sequence":"first","affiliation":[]},{"given":"Agn\u00e8s","family":"Arnould","sequence":"additional","affiliation":[]},{"given":"Pascale","family":"Le Gall","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Bertrand","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1006\/gmip.1994.1005","volume":"56","author":"Y. Bertrand","year":"1994","unstructured":"Y. Bertrand and J.-F. Dufourd. Algebraic specification of a 3D-modeller Based on Hypermaps. Computer vision, graphical model, and image processing, 56(1):29\u201360, 1994.","journal-title":"Computer vision, graphical model, and image processing"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s003710050095","volume":"13","author":"J.-F. Dufourd","year":"1997","unstructured":"J.-F. Dufourd. Algebras and formal specifications in geometric modeling. The Visual Computer, 13:131\u2013154, 1997. Springer-Verlag.","journal-title":"The Visual Computer"},{"key":"9_CR3","unstructured":"H. Elter. Etude de structures combinatoires pour la repr\u00e9sentation de complexes cellulaires. PhD thesis, Universit\u00e9 de Strasbourg, 1994."},{"key":"9_CR4","unstructured":"L. Fuchs, D. Bechmann, Y. Bertrand, and J.-F. Dufourd. Formal specification for free-form curves and surfaces. In Spring Conference on Computer Graphics, Bratislava, 1996."},{"key":"9_CR5","unstructured":"F. Ledoux and A. Arnould. Geospec: specification libraries for geometric modelling, sept. 2001. \n http:\/\/www.sic.sp2mi.univ-poitiers.fr\/GL\/GeoSpec\n \n ."},{"key":"9_CR6","unstructured":"F. Ledoux, A. Arnould, P. Le Gall, and Y. Bertrand. A High-Level Operation in 3D Modelling: a CASL Case Study. Technical Report 52, Universit\u00e9 d\u2019\u00c9vry, 2000. \n ftp:\/\/ftp.lami.univ-evry.fr\/pub\/publications\/reports\/index.html\n \n ."},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0010-4485(91)90082-8","volume":"23","author":"P. Lienhardt","year":"1991","unstructured":"P. Lienhardt. Topological models for boundary representations: a comparison with n-dimensional generalized maps. Computer-Aided Design, 23(1):59\u201382, 1991.","journal-title":"Computer-Aided Design"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"P. Lienhardt. N-dimensional generalized combinatorial maps and cellular quasi-manifolds. International Journal of Computational Geometry and Applications, 1994.","DOI":"10.1142\/S0218195994000173"},{"key":"9_CR9","unstructured":"F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall, and Y. Bertrand. Formal specification for a mathematics-based application domain: geometric modelling. Technical Report 51, Universit\u00e9 d\u2019\u00c9vry, 2000. \n ftp:\/\/ftp.lami.univ-evry.fr\/pub\/publications\/reports\/index.html\n \n ."},{"key":"9_CR10","first-page":"1","volume":"MA37","author":"M. Mantyla","year":"1983","unstructured":"M. Mantyla. Computational topology: A study of topological manipulations and interrogations in computer graphics and geometric modeling. Acta Polytech. Scand. Math. and Comput. Sci. Ser., MA37:1\u201349, 1983.","journal-title":"Acta Polytech. Scand. Math. and Comput. Sci. Ser."},{"key":"9_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-540-44616-3_8","volume-title":"Recent Developments in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"T Mossakowski, Anne Haxthausen, and Bernd KriegBruckner. Subsorted partial higher-order logic as an extension of casl. In Christine Choppy, Didier Bert, and Peter Mosses (eds.): Recent Developments in Algebraic Development Techniques, Lecture Notes in Computer Science, volume 1827, pages 126\u2013145, Chateau de Bonas, France, 2000. Springer-Verlag."},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/3-540-48483-3_15","volume-title":"CASL: A guided tour of its design","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. CASL: A guided tour of its design. Lecture Notes in Computer Science, 1589:216\u2013240, 1999."},{"key":"9_CR13","unstructured":"Till Mossakowski, Markus Roggenbach, Lutz Schroder, and Pascal Schmidt). CASL tool set (CATS) version 0.73, sept. 2001. \n http:\/\/www.tzi.de\/cofi\/CASL\/CATS\/download.html\n \n ."},{"key":"9_CR14","unstructured":"Till Mossakowski, Markus Roggenbach, Lutz Schroder, and Pascal Schmidt). HOL-CASL system version 0.6, sept. 2001. \n http:\/\/www.tzi.de\/cofi\/CASL\/\n \n ."},{"key":"9_CR15","unstructured":"CoFI (Common Framework Initiative) Task Group on Language Design. CASL case studies, 2000. \n http:\/\/www.pst.informatik.uni-muenchen.de\/baumeist\/CoFI\/case.html\n \n ."},{"key":"9_CR16","unstructured":"CoFI (Common Framework Initiative) Task Group on Language Design. CASL the common algebraic specification language summary, June 2000. \n ftp:\/\/ftp.brics.dk\/Projects\/CoFI\n \n ."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"F. Puitg and J.-F. Dufourd. Formal specification and theorem proving breakthroughs in geometric modeling. In Proc. 11th International Theorem Proving in Higher Order Logics Conference, pages 401\u2013422, 1998.","DOI":"10.1007\/BFb0055149"},{"issue":"1\u20132","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(98)00228-X","volume":"234","author":"F. Puitg","year":"2000","unstructured":"Fran\u00e7ois Puitg and Jean-Fran\u00e7ois Dufourd. Formalizing mathematics in higher-order logic: A case study in geometric modelling. Theoretical Computer Science, 234(1\u20132):1\u201357, 2000.","journal-title":"Theoretical Computer Science"},{"key":"9_CR19","unstructured":"M. Roggenbach, T. Mossakowski, and L. Schroder. Basic datatypes in CASL. CoFI Note L-12-Version 0.4.1, \n http:\/\/www.brics.dk\/Projects\/CoFI\/Notes\/L-12\/index.html\n \n , May 2000."},{"issue":"5","key":"9_CR20","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0010-4485(94)90023-X","volume":"26","author":"T. V\u00e1rady","year":"1994","unstructured":"Tam\u00e1s V\u00e1rady, Ralph R. Martin, and Janos Vida. A survey of blending methods that use parametric surfaces. Computer-Aided Design, 26(5):341\u2013365, 1994.","journal-title":"Computer-Aided Design"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45645-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:31:27Z","timestamp":1550363487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}