{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:49Z","timestamp":1725574309706},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209270"},{"type":"electronic","value":"9783540246169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24616-9_9","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T01:46:04Z","timestamp":1294364764000},"page":"132-160","source":"Crossref","is-referenced-by-count":10,"title":["Function-Based Shape Modeling: Mathematical Framework and Specialized Language"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Pasko","sequence":"first","affiliation":[]},{"given":"Valery","family":"Adzhiev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/356827.356833","volume":"12","author":"A. Requicha","year":"1980","unstructured":"Requicha, A.: Representations of rigid solids: theory, methods, and systems. Computing Surveys\u00a012(4), 437\u2013464 (1980)","journal-title":"Computing Surveys"},{"issue":"4","key":"9_CR2","first-page":"765","volume":"153","author":"V.L. Rvachev","year":"1963","unstructured":"Rvachev, V.L.: On the analytical description of some geometric objects. Reports of Ukrainian Academy of Sciences\u00a0153(4), 765\u2013767 (1963)","journal-title":"Reports of Ukrainian Academy of Sciences"},{"key":"9_CR3","unstructured":"Rvachev, V.L.: Methods of Logic Algebra in Mathematical Physics, Naukova Dumka, Kiev (1974) (in Russian)"},{"key":"9_CR4","unstructured":"Rvachev V.L.: Theory of R-functions and some applications, Naukova Dumka, Kiev (1982) (in Russian)"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/comjnl\/16.2.157","volume":"16","author":"A. Ricci","year":"1973","unstructured":"Ricci, A.: A constructive geometry for computer graphics. The computer Journal\u00a016(2), 157\u2013160 (1973)","journal-title":"The computer Journal"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/357306.357310","volume":"1","author":"J. Blinn","year":"1982","unstructured":"Blinn, J.: A generalization of algebraic surface drawing. ACM Transactions on Graphics\u00a01(3), 235\u2013256 (1982)","journal-title":"ACM Transactions on Graphics"},{"key":"9_CR7","volume-title":"Introduction to Implicit Surfaces","author":"J. Bloomenthal","year":"1997","unstructured":"Bloomenthal, J., et al.: Introduction to Implicit Surfaces. Morgan Kaufmann Publishers, San Francisco (1997)"},{"key":"9_CR8","unstructured":"Bowyer, A.: SVLIS Set-theoretic Kernel Modeller, Introduction and User Manual. Information Geometers, Winchester, UK (1995)"},{"key":"9_CR9","unstructured":"Shapiro, V.: Theory of R-functions and applications: a primer, TR CPA88-3, Cornell University (1988)"},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0167-8396(94)90030-2","volume":"11","author":"V. Shapiro","year":"1994","unstructured":"Shapiro, V.: Real functions for representation of rigid solids. Computer Aided Geometric Design\u00a011(2), 153\u2013175 (1994)","journal-title":"Computer Aided Geometric Design"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s003660200027","volume":"18","author":"I. Tsukanov","year":"2002","unstructured":"Tsukanov, I., Shapiro, V.: The architecture of SAGE - a meshfree system based on RFM. Engineering with Computers\u00a018(4), 295\u2013311 (2002)","journal-title":"Engineering with Computers"},{"issue":"2","key":"9_CR12","first-page":"149","volume":"18","author":"B. Wyvill","year":"1999","unstructured":"Wyvill, B., Galin, E., Guy, A.: Extending the CSG tree. warping, blending and Boolean operations in an implicit surface modeling system, Computer Graphics Forum\u00a018(2), 149\u2013158 (1999)","journal-title":"warping, blending and Boolean operations in an implicit surface modeling system, Computer Graphics Forum"},{"key":"9_CR13","unstructured":"Adzhiev, V., Cartwright, R., Fausett, E., Ossipov, A., Pasko, A., Savchenko, V.: HyperFun project: a framework for collaborative multidimensional F-rep modeling. In: Hughes, J., Schlick, C. (eds.) Implicit Surfaces 1999 Workshop, Bordeaux, France, pp. 59\u201369 (1999), \n                  \n                    http:\/\/www.hyperfun.org\/"},{"key":"9_CR14","unstructured":"Pasko, A., Savchenko, V., Adzhiev, V., Sourin, A.: Multidimensional geometric modeling and visualization based on the function representation of objects, Technical Report 93-1-008, The University of Aizu, Japan, p. 47 (1993)"},{"issue":"8","key":"9_CR15","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/BF02464333","volume":"11","author":"A. Pasko","year":"1995","unstructured":"Pasko, A., Adzhiev, V., Sourin, A., Savchenko, V.: Function representation in geometric modeling: concepts, implementation and applications. The Visual Computer\u00a011(8), 429\u2013446 (1995), \n                  \n                    http:\/\/wwwcis.k.hosei.ac.jp\/~F-rep\/","journal-title":"The Visual Computer"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1111\/1467-8659.00232","volume":"17","author":"J. McCormack","year":"1998","unstructured":"McCormack, J., Sherstyuk, A.: Creating and rendering convolution surfaces. Computer Graphics Forum\u00a017(2), 113\u2013120 (1998)","journal-title":"Computer Graphics Forum"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/74334.74359","volume":"23","author":"K. Perlin","year":"1989","unstructured":"Perlin, K., Hoffert, E.: Hypertexture. SIGGRAPH 1989, Computer Graphics\u00a023(4), 253\u2013262 (1989)","journal-title":"SIGGRAPH 1989, Computer Graphics"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0097-8493(95)00088-7","volume":"20","author":"A. Sourin","year":"1996","unstructured":"Sourin, A., Pasko, A., Savchenko, V.: Using real functions with application to hair modelling. Computers and Graphics\u00a020(1), 11\u201319 (1996)","journal-title":"Computers and Graphics"},{"issue":"4","key":"9_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1111\/1467-8659.1440181","volume":"14","author":"V. Savchenko","year":"1995","unstructured":"Savchenko, V., Pasko, A., Okunev, O., Kunii, T.: Function representation of solids reconstructed from scattered surface points and contours. Computer Graphics Forum\u00a014(4), 181\u2013188 (1995)","journal-title":"Computer Graphics Forum"},{"key":"#cr-split#-9_CR20.1","unstructured":"Miura, K., Pasko, A., Savchenko, V.: Parametric patches and volumes in the functional representation of geometric solids, Set-theoretic Solid Modeling: Techniques and Applications. In: CSG 1996, Winchester, UK, April 17-19 (1996);"},{"key":"#cr-split#-9_CR20.2","unstructured":"Information Geometers, UK, pp. 217-231 (1996)"},{"key":"9_CR21","first-page":"321","volume-title":"Sixth ACM Symposium on Solid Modeling and Applications","author":"B. Schmitt","year":"2001","unstructured":"Schmitt, B., Pasko, A., Schlick, C.: Constructive modelling of FRep solids using spline volumes. In: Anderson, D., Lee, K. (eds.) Sixth ACM Symposium on Solid Modeling and Applications, Ann Arbor, USA, June 6-8, pp. 321\u2013322. ACM Press, New York (2001)"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/2945.489382","volume":"2","author":"A. Sourin","year":"1996","unstructured":"Sourin, A., Pasko, A.: Function representation for sweeping by a moving solid. IEEE Transactions on Visualization and Computer Graphics\u00a02(1), 11\u201318 (1996)","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"key":"9_CR23","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-642-60607-6_13","volume-title":"Geometric Modeling: Theory and Practice","author":"A. Pasko","year":"1997","unstructured":"Pasko, A., Savchenko, V.: Projection operation for multidimensional geometric modeling with real functions. In: Strasser, W., Klein, R., Rau, R. (eds.) Geometric Modeling: Theory and Practice, pp. 197\u2013205. Springer, Berlin (1997)"},{"issue":"10,11","key":"9_CR24","first-page":"1479","volume":"45","author":"A. Pasko","year":"2003","unstructured":"Pasko, A., Okunev, O., Savchenko, V.: Minkowski sums of point sets defined by inequalities, Computers and Mathematics with Applications. Elsevier Science\u00a045(10\/11), 1479\u20131487 (2003)","journal-title":"Elsevier Science"},{"key":"9_CR25","unstructured":"Pasko, A., Savchenko, V.: Blending operations for the functionally based constructive geometry, Set-theoretic Solid Modeling: Techniques and Applications. In: Proceedings CSG 1994 Conference, Information Geometers, Winchester, UK, pp. 151\u2013161 (1994)"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/SMI.2002.1003533","volume-title":"Shape Modeling International 2002","author":"G. Pasko","year":"2002","unstructured":"Pasko, G., Pasko, A., Ikeda, M., Kunii, T.: Bounded blending operations. In: Shape Modeling International 2002, Banff, Canada, May 17-22, pp. 95\u2013103. IEEE Computer Society, Los Alamitos (2002)"},{"key":"9_CR27","volume-title":"Formal specification and software development","author":"D. Bjorner","year":"1982","unstructured":"Bjorner, D., Jones, C.: Formal specification and software development. Prentice- Hall, Englewood Cliffs (1982)"},{"issue":"4","key":"9_CR28","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1093\/comjnl\/30.4.316","volume":"30","author":"D. Duce","year":"1987","unstructured":"Duce, D., Fielding, E.: Formal specification\u2014a comparison of two techniques. The Computer Journal\u00a030(4), 316\u2013327 (1987)","journal-title":"The Computer Journal"},{"issue":"6","key":"9_CR29","first-page":"413","volume":"63","author":"A. Pasko","year":"2001","unstructured":"Pasko, A., Adzhiev, V., Schmitt, B., Schlick, C.: Constructive hypervolume modeling, Graphical Models. Special issue on Volume Modeling\u00a063(6), 413\u2013442 (2001)","journal-title":"Special issue on Volume Modeling"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0167-8396(01)00015-2","volume":"18","author":"V. Rvachev","year":"2001","unstructured":"Rvachev, V., Sheiko, T., Shapiro, V., Tsukanov, I.: Transfinite interpolation over implicitly defined sets. Computer-Aided Geometric Design\u00a018, 195\u2013220 (2001)","journal-title":"Computer-Aided Geometric Design"},{"issue":"4","key":"9_CR31","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1115\/1.1559580","volume":"2","author":"V. Adzhiev","year":"2002","unstructured":"Adzhiev, V., Kartasheva, E., Kunii, T., Pasko, A., Schmitt, B.: Hybrid cellular\u2013 functional modeling of heterogeneous objects. Journal of Computing and Information Science in Engineering, Transactions of the ASME\u00a02(4), 312\u2013322 (2002)","journal-title":"Journal of Computing and Information Science in Engineering, Transactions of the ASME"}],"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-540-24616-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T08:49:57Z","timestamp":1553330997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24616-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209270","9783540246169"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24616-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}