Related papers: The geometry of syntax and semantics for directed …
The ``geometry'', in the sense of the classical differential geometry of smooth manifolds (CDG), is put under scrutiny from the point of view of Abstract Differential Geometry (ADG), along with resulting, thereby, potential physical…
In this Note, we propose a line bundle approach to odd-dimensional analogues of generalized complex structures. This new approach has three main advantages: (1) it encompasses all existing ones; (2) it elucidates the geometric meaning of…
Some key notions of line geometry are recalled, along with their application to mechanics. It is then shown that most of the basic structures that one introduces in the pre-metric formulation of electromagnetism can be interpreted directly…
This article presents an exhaustive classification of metric-affine theories according to their scale symmetries. First it is clarified that there are three relevant definitions of a scale transformation. These correspond to a projective…
Any natural language can be considered as a tool for producing large databases (consisting of texts, written, or discursive). This tool for its description in turn requires other large databases (dictionaries, grammars etc.). Nowadays, the…
The method of constructing of Grothendieck's topology basing on a neighbourhood grammar, defined on the category of syntax diagrams is described in the article. Syntax diagrams of a formal language are the multigraphs with nodes, signed by…
Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs, the bigraphical theory introduces a visual concrete syntax…
We show that it is possible to represent various descriptions of Quantum Mechanics in geometrical terms. In particular we start with the space of observables and use the momentum map associated with the unitary group to provide an unified…
The quantum geometry arising in Loop Quantum Gravity has been known to semi-classically lead to generalizations of length-geometries. There have been several attempts to interpret these so called twisted geometries and understand their role…
The multiplicity of software projects' stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consistency between them. The process of establishing such…
Parametric geometry of numbers is a new theory, recently created by Schmidt and Summerer, which unifies and simplifies many aspects of classical Diophantine approximations, providing a handle on problems which previously seemed out of…
Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling…
Relating formal grammars is a hard problem that balances between language equivalence (which is known to be undecidable) and grammar identity (which is trivial). In this paper, we investigate several milestones between those two extremes…
Ideas from deformation quantization applied to algebras with one generator lead to methods to treat a nonlinear flat connection. It provides us elements of algebras to be parallel sections. The moduli space of the parallel sections is…
Semantic matching aims to establish pixel-level correspondences between instances of the same category and represents a fundamental task in computer vision. Existing approaches suffer from two limitations: (i) Geometric Ambiguity: Their…
In this paper we give a brief overview of the geometry of involute gears, from a mathematical more than an engineering perspective. We also list some of the many variant geared mechanisms and discuss some of our 3D printed mechanisms.
The definitions and some basic properties of the linear transports along paths in vector bundles and the normal frames for them are recalled. The formalism is specified on line bundles and applied to a geometrical description of the…
This article deals with flow of plane curves driven by the curvature and external force. We make use of such a geometric flow for the purpose of image segmentation. A parametric model for evolving curves with uniform and curvature adjusted…
In this paper we will look at the connection of frames and finite dimensionality. A main focus is to present simple algorithms and make them available online. The main result is a way to 'switch' between different frames, giving an…
A pedagogical but concise overview of Riemannian geometry is provided, in the context of usage in physics. The emphasis is on defining and visualizing concepts and relationships between them, as well as listing common confusions,…