Displaying similar documents to “Satisfying states of triangulations of a convex n -gon.”

On tropical Kleene star matrices and alcoved polytopes

María Jesús de la Puente (2013)

Kybernetika

Similarity:

In this paper we give a short, elementary proof of a known result in tropical mathematics, by which the convexity of the column span of a zero-diagonal real matrix A is characterized by A being a Kleene star. We give applications to alcoved polytopes, using normal idempotent matrices (which form a subclass of Kleene stars). For a normal matrix we define a norm and show that this is the radius of a hyperplane section of its tropical span.

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