Displaying similar documents to “A linear extension operator for Whitney fields on closed o-minimal sets”

Simultaneous reduction to normal forms of commuting singular vector fields with linear parts having Jordan blocks

Masafumi Yoshino, Todor Gramchev (2008)

Annales de l’institut Fourier

Similarity:

We study the simultaneous linearizability of d –actions (and the corresponding d -dimensional Lie algebras) defined by commuting singular vector fields in n fixing the origin with nontrivial Jordan blocks in the linear parts. We prove the analytic convergence of the formal linearizing transformations under a certain invariant geometric condition for the spectrum of d vector fields generating a Lie algebra. If the condition fails and if we consider the situation where small denominators...

Regular Expression Quantifiers - at least m Occurrences

Michał Trybulec (2008)

Formalized Mathematics

Similarity:

This is the second article on regular expression quantifiers. [4] introduced the quantifiers m to n occurrences and optional occurrence. In the sequel, the quantifiers: at least m occurrences and positive closure (at least 1 occurrence) are introduced. Notation and terminology were taken from [8], several properties of regular expressions from [7].MML identifier: FLANG 3, version: 7.8.05 4.89.993