1,769 research outputs found
Whitney algebras and Grassmann's regressive products
Geometric products on tensor powers of an exterior
algebra and on Whitney algebras \cite{crasch} provide a rigorous version of
Grassmann's {\it regressive products} of 1844 \cite{gra1}. We study geometric
products and their relations with other classical operators on exterior
algebras, such as the Hodge operators and the {\it join} and {\it meet}
products in Cayley-Grassmann algebras \cite{BBR, Stew}. We establish encodings
of tensor powers and of Whitney algebras in
terms of letterplace algebras and of their geometric products in terms of
divided powers of polarization operators. We use these encodings to provide
simple proofs of the Crapo and Schmitt exchange relations in Whitney algebras
and of two typical classes of identities in Cayley-Grassmann algebras
Clifford algebra with mathematica
The Clifford algebra of a n-dimensional Euclidean vector space provides a general language comprising vectors, complex numbers, quaternions, Grassman algebra, Pauli and Dirac matrices. In this work, we present an introduction to the main ideas of Clifford algebra, with the main goal to develop a package for Clifford algebra calculations for the computer algebra program Mathematica. The Clifford algebra package is thus a powerful tool since it allows the manipulation of all Clifford mathematical objects. The package also provides a visualization tool for elements of Clifford Algebra in the 3-dimensional space
Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems
The modelling, analysis, and visualisation of dynamic geospatial phenomena
has been identified as a key developmental challenge for next-generation
Geographic Information Systems (GIS). In this context, the envisaged
paradigmatic extensions to contemporary foundational GIS technology raises
fundamental questions concerning the ontological, formal representational, and
(analytical) computational methods that would underlie their spatial
information theoretic underpinnings.
We present the conceptual overview and architecture for the development of
high-level semantic and qualitative analytical capabilities for dynamic
geospatial domains. Building on formal methods in the areas of commonsense
reasoning, qualitative reasoning, spatial and temporal representation and
reasoning, reasoning about actions and change, and computational models of
narrative, we identify concrete theoretical and practical challenges that
accrue in the context of formal reasoning about `space, events, actions, and
change'. With this as a basis, and within the backdrop of an illustrated
scenario involving the spatio-temporal dynamics of urban narratives, we address
specific problems and solutions techniques chiefly involving `qualitative
abstraction', `data integration and spatial consistency', and `practical
geospatial abduction'. From a broad topical viewpoint, we propose that
next-generation dynamic GIS technology demands a transdisciplinary scientific
perspective that brings together Geography, Artificial Intelligence, and
Cognitive Science.
Keywords: artificial intelligence; cognitive systems; human-computer
interaction; geographic information systems; spatio-temporal dynamics;
computational models of narrative; geospatial analysis; geospatial modelling;
ontology; qualitative spatial modelling and reasoning; spatial assistance
systemsComment: ISPRS International Journal of Geo-Information (ISSN 2220-9964);
Special Issue on: Geospatial Monitoring and Modelling of Environmental
Change}. IJGI. Editor: Duccio Rocchini. (pre-print of article in press
Articulating Space: Geometric Algebra for Parametric Design -- Symmetry, Kinematics, and Curvature
To advance the use of geometric algebra in practice, we develop computational methods for parameterizing spatial structures with the conformal model. Three discrete parameterizations – symmetric, kinematic, and curvilinear – are employed to generate space groups, linkage mechanisms, and rationalized surfaces. In the process we illustrate techniques that directly benefit from the underlying mathematics, and demonstrate how they might be applied to various scenarios. Each technique engages the versor – as opposed to matrix – representation of transformations, which allows for structure-preserving operations on geometric primitives. This covariant methodology facilitates constructive design through geometric reasoning: incidence and movement are expressed in terms of spatial variables such as lines, circles and spheres. In addition to providing a toolset for generating forms and transformations in computer graphics, the resulting expressions could be used in the design and fabrication of machine parts, tensegrity systems, robot manipulators, deployable structures, and freeform architectures. Building upon existing algorithms, these methods participate in the advancement of geometric thinking, developing an intuitive spatial articulation that can be creatively applied across disciplines, ranging from time-based media to mechanical and structural engineering, or reformulated in higher dimensions
- …