Displaying similar documents to “Quenching time of solutions for some nonlinear parabolic equations with Dirichlet boundary condition and a potential.”

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

Positive solutions of nonlinear elliptic systems

Robert Dalmasso (1993)

Annales Polonici Mathematici

Similarity:

We study the existence and nonexistence of positive solutions of nonlinear elliptic systems in an annulus with Dirichlet boundary conditions. In particular, L a priori bounds are obtained. We also study a general multiple linear eigenvalue problem on a bounded domain.