Related papers: Normal forms in cubical type theory
This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…
The main goal of this note is to determine and to count the normal subgroups of a ZM-group. We also indicate some necessary and sufficient conditions such that the normal subgroups of a ZM-group form a chain.
Methods of determination of constants of the Standard Model are considered. The constants values obtained now are presented and experiments for improving some values are pointed out. A few possible generalized models are considered together…
We consider the conversion problem for multimodal type theory (MTT) by characterizing the normal forms of the type theory and proving normalization. Normalization follows from a novel adaptation of Sterling's Synthetic Tait Computability…
We examine $q-$series related to higher forms. These forms are cubics, quartics, etc. In some points, in the article we add parts from previous works, in such a way, the article be more complete and readable.
We investigate the non-diagonal normal forms of a quadratic form on R^n, in particular for n=3. For this case it is shown that the set of normal forms is the closure of a 5-dimensional submanifold in the 6-dimensional Grassmannian of…
We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse…
Definition of generalized normal form for a system of ODEs corresponding to an infinitesimal symplectic or contact transformation near a singular point, with an arbitrary polynomial unperturbed part, and a method of its finding are…
This paper surveys some combinatorial aspects of Smith normal form, and more generally, diagonal form. The discussion includes general algebraic properties and interpretations of Smith normal form, critical groups of graphs, and Smith…
The problem of representing a class of maps in a form suited for application of normal form methods is revisited. It is shown that using the methods of Lie series and of Lie transform a normal form algorithm is constructed in a…
The development of cubical type theory inspired the idea of "extension types" which has been found to have applications in other type theories that are unrelated to homotopy type theory or cubical type theory. This article describes these…
We prove a normal form theorem for Poisson structures around Poisson transversals (also called cosymplectic submanifolds), which simultaneously generalizes Weinstein's symplectic neighborhood theorem from symplectic geometry and Weinstein's…
The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…
The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…
Motivated by classical results of Aubry, Davenport and Cassels, we define the notion of a Euclidean quadratic form over a normed integral domain and an ADC form over an integral domain. The aforementioned classical results generalize to:…
We give a characterization of the rational normal curve in terms of the rank function associated to a curve.
We introduce a canonical form for reduced bases of integral closures of discrete valuation rings, and we describe an algorithm for computing a basis in reduced normal form. This normal form has the same applications as the Hermite normal…
In this paper, we give new characterizations of algebraic regularity by using differential forms and difference quotients.
The notion of geometric k-normality for curves is introduced in complete generality and is investigated in the case of nodal and cuspidal curves living on several types of surfaces. We discuss and suggest some applications of this notion to…
We establish a general Liouville type theorem for conformally invariant fully nonlinear equations.