Related papers: Normal forms in cubical type theory
A new characterization of conformal transformations is given. By use of this, the general form of conformal transformation on two-dimensional Minkowski space is given and its conformal structure is analyzed.
We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with…
We consider a nonlinear representation of a Lie algebra which is regular on an abelian ideal, we define a normal form which generalizes that defined in [D. Arnal, M. Ben Ammar, M. Selmi, {\rm Normalisation d'une repr\'esentation non…
One of effective ways to solve the equivalence problem and describe moduli spaces for real submanifolds in complex space is the normal form approach. In this survey, we outline some normal form constructions in CR-geometry and formulate a…
In this note, a simple proof Jordan normal form and rational form of matrices over a field is given.
A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits of our current…
We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on…
This article discuss a class of tractable model in the form of polynomial type.
A normal form for edge metrics is derived under the necessary conditions that the metric be normalized and exact. The normal forms for such an edge metric are shown to be in 1-1 correspondence with representative metrics for a reduced…
The normal form theory for polynomial vector fields is extended to those for $C^\infty$ vector fields vanishing at the origin. Explicit formulas for the $C^\infty$ normal form and the near identity transformation which brings a vector field…
We study the generalized analogues of conics for normed planes by using the following natural approach: It is well known that there are different metrical definitions of conics in the Euclidean plane. We investigate how these definitions…
In this paper, we define the \textit{normal form} of collections of disjoint three \textit{bridge arcs} for a given rational $3$-tangle. We show that there is a sequence of \textit{normal jump moves} which leads one to the other for two…
In this note, we prove the regularity of eta forms by the Clifford asymptotics. Then we generalize this result to the equivariant case.
Following recent results of A.K. and V.S. on $\mathbb Z$-graded manifolds, we give several local and global normal forms results for $Q$-structures on those, i.e. for differential graded manifolds. In particular, we explain in which sense…
We outline the proofs of several principal statements in conventional renormalization theory. This may be of some use in the light of new trends and new techniques (Hopf algebras, etc.) recently introduced in the field.
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.
In this paper we present an introduction to morphological calculus in which geometrical objects play the rule of generalised natural numbers.
This paper proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the…
In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.