René Heinzl
ABSTRACT
Cell and complex properties are introduced in order to derive a common specification environment for properties of data structures. Only topological properties are used, thereby separating the actual data storage structure from the stored data. Several theoretical topological property concepts are introduced, and traversal and boundary operations are presented and accompanied by selected examples.
- J. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002. Google Scholar
Digital Library
- R. Heinzl. Concepts for Scientific Computing. Dissertation, Technische Universität Wien, Austria, 2007.Google Scholar
- R. Heinzl, P. Schwaha, and S. Selberherr. A High Performance Generic Scientific Simulation Environment. In B. Kaagström et al., editor, Lecture Notes in Computer Science, volume 4699/2007, pages 996--1005. Springer, Berlin, June 2007. Google Scholar
- R. Heinzl, P. Schwaha, F. Stimpfl, and S. Selberherr. Parallel Library-Centric Application Design by a Generic Scientific Simulation Environment. In Proc. of the POOSC, Paphos, Cyprus, July 2008.Google Scholar
- B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge, 1990.Google Scholar
- Boost. Boost Graphics Image Library (GIL), 2005. http://www.boost.org/.Google Scholar
- P. Gottschling and D. Lindbo. Generic Compressed Sparse Matrix Insertion: Algorithms and Implementations in MTL4 and FEniCS. In POOSC 2009 Workshop at ECOOP09, ACM Digital Library, 2009. Google ScholarDigital Library
- P. Gross and P. R. Kotiuga. Electromagnetic Theory and Computation: A Topological Approach. Cambridge University Press, 2004.Google ScholarCross Ref
- C. Mattiussi. The Geometry of Time-Stepping. In F. L. Teixeira, editor, Geometric Methods in Computational Electromagnetics, PIER 32, pages 123--149. EMW Publishing, Cambridge, Mass., 2001.Google Scholar
- A. Hatcher. Algebraic Topology. Cambridge University Press, 2002.Google Scholar
- J. Hocking and G. Young. Topology. Addison-Wesley, Dover Publications, New York, 1961.Google Scholar
- A. J. Zomorodian. Topology for Computing. In Cambridge Monographs on Applied and Computational Mathematics, 2005. Google ScholarDigital Library
- T. Dey, H. Edelsbrunner, and S. Guha. Computational Topology. In J. E. G. B. Chazelle and R. Pollack, editors, Advances in Discrete and Computational Geometry, Contemporary Mathematics. Providence, RI, USA, 1998.Google Scholar
- E. Tonti. The Reason for Analogies between Physical Theories. Appl. Math. Modelling, 1(1):37--50, 1976/77.Google ScholarCross Ref
- P. Bochev and M. Hyman. Principles of Compatible Discretizations. In Proc. of IMA Hot Topics Workshop on Compatible Discretizations, volume IMA 142, pages 89--120. Springer, 2006.Google ScholarCross Ref
- Boost. Boost Phoenix 2, 2006. http://spirit.sourceforge.net/.Google Scholar
- G. Berti. Generic Software Components for Scientific Computing. Dissertation, Technische Universität Cottbus, 2000.Google Scholar
- R. Heinzl, P. Schwaha, M. Spevak, and T. Grasser. Performance Aspects of a DSEL for Scientific Computing with C++. In Proc. of the POOSC Conf., pages 37--41, Nantes, France, July 2006.Google Scholar
Index Terms
- Data structure properties for scientific computing: an algebraic topology library
Recommendations
A generic topology library
Requirements in scientific computing emerge from various areas such as algebraic topology, geometrical algebra, and differential topology with different notations. Cell and complex properties are introduced in order to derive a common specification for ...
On some paracompactness-type properties of fuzzy topological spaces
AbstractThe aim of this paper is to study some paracompactness-type properties for fuzzy topological spaces. We prove that these properties are good extensions of others defined by A.V. Arkhangel’skii (and studied by S.A. Peregudov) and obtain several ...
Weak Hausdorff separation axiom in I-fuzzy topological spaces and its application
In this paper, the weak Hausdorff separation axiom in the sense of Fang and Ren [A set of new separations axioms in L-fuzzy topological spaces, Fuzzy Sets and Systems 96 (1998) 359-376] is generalized from L-topologies to I-fuzzy topologies. It is shown ...
Reviews
Wolfgang Schreiner
A reason for the success of the C++ standard template library (STL) is the concept of iterators, which allow for the processing of different kinds of data structures in a uniform way. In this paper, Heinzl generalizes this idea to the application area of physical simulation, by providing a unifying theoretical framework and corresponding C++ library for the representation of spatial domain decompositions. The core idea is to apply concepts from algebraic topology to the structured representation of spatial cells, using their topological properties; thus, a three-dimensional (3D) cell is related to its two-dimensional (2D) facets, which are related to their one-dimensional (1D) boundary lines, which are ultimately related to their corner points. This representation is applied to complexes of cells whose topologies are described by the adjacency of each element. For example, topological operators decompose a complex into its boundary elements or evaluate real-valued functions over a complex. Based on these concepts, a C++ template library is developed that allows the definition of various kinds of representations of n -dimensional spaces that can be processed in a uniform way by topological operators. The paper presents an interesting and useful approach. Unfortunately, it is not easily accessible without prior background knowledge. This is partially due to sub-optimal organization; in particular, the introduction does not describe well the concrete context of the work, and some basic notions are used before they are defined. However, the paper refers to a number of more detailed resources, in particular Heinzl's dissertation. I advise the reader to consult these for more information. Online Computing Reviews Service
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Comments