Related papers: Normal forms in cubical type theory

We generalize recent developments on normal forms and the spectral sequences method to make a foundation for parametric normal forms. We further introduce a new style and costyle to obtain unique parametric normal forms. The results are…

In this paper we present some linear algebra behind quadratic parts of quadratically flat complex points of codimension two real submanifold in a complex manifold. Assuming some extra nondegenericity and using the result of Hong, complete…

Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a…

We discuss how the presence of a suitable symmetry can guarantee the perturbative linearizability of a dynamical system - or a parameter dependent family - via the Poincar\'e Normal Form approach. We discuss this at first formally, and…

We give necessary and sufficient conditions on the curvature and the torsion of a regular curve of the space forms $\h^3$ and $\s^3$ to be contained in a totally umbilical surface. In case that the curve has constant torsion, we obtain the…

We obtain a parametric normal form for any non-degenerate perturbation of the generalized saddle-node case of Bogdanov--Takens singularity. Explicit formulas are derived and greatly simplified for an efficient implementation in any computer…

We define a notion of normal form bisimilarity for the untyped call-by-value lambda calculus extended with the delimited-control operators shift and reset. Normal form bisimilarities are simple, easy-to-use behavioral equivalences which…

Old and new results for characterizing volume forms in functional integration.

This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories…

In this paper, we concentrate our attention on the Muntz problem in the univariate setting and for the uniform norm.

In this note, we determine, by a disjunctive normal form theorem, which functions on the standard $n$-nuanced \L ukasiewicz-Moisil algebra are representable by formulas and we show how this result may help in establishing the structure of…

We treat the classical notion of convexity in the context of hard real analysis. Definitions of the concept are given in terms of defining functions and quadratic forms, and characterizations are provided of different concrete notions of…

We consider generalized quadratic forms over real quadratic number fields and prove, under a natural positive-definiteness condition, that a generalized quadratic form can only be universal if it contains a quadratic subform that is…

We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

This work arose from efforts to generalise the usual cubical boundary by using different 'weights' for opposite faces, but still to obtain a chain complex, and this method was found to generalise. We describe a variant of the classical…

Computations in renormalizable perturbative quantum field theories reveal mathematical structures which go way beyond the formal structure which is usually taken as underlying quantum field theory. We review these new structures and the…

We characterize the extendibility of the normal curvature on frontals and we give a representation formula of this type of frontals. Also we give representation formulas for wavefronts on all types of singularities and others sub classes of…

We provide a complete classification of all algebras of generalised dihedral type, which are natural generalizations of algebras which occurred in the study of blocks with dihedral defect groups. This gives a description by quivers and…

We give a canonical form of m-by-2-by-2 spatial matrices for equivalence over any field.

We give necessary and sufficient condition for a sesquilinear form to be integrable with respect to a faithful normal state on a von Neumann algebra.