Ključne besede: parametric singular term, (p-1)-linear perturbation, uniform nonresonance, nonlinear regularity theory, truncation, strong comparison principle, bifurcation-type theoremCelotno besedilo (datoteka, 672,01 KB)
Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checkingCelotno besedilo (datoteka, 2,41 MB)
Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsCelotno besedilo (datoteka, 2,22 MB)
Ključne besede: Kirchhoff-type problems, Neumann boundary conditions, p(x)-Laplacian operator, generalized capillary operator, Sobolev spaces with variable exponent, critical Sobolev exponents, concentration–compactness principle, critical point theory, truncation techniqueCelotno besedilo (datoteka, 1,81 MB) Gradivo ima več datotek! Več...
Ključne besede: dependent type theory, context-free type theory, formal meta-theory, proof assistantsCelotno besedilo (datoteka, 2,36 MB) Gradivo ima več datotek! Več...