Keywords: parametric singular term, (p-1)-linear perturbation, uniform nonresonance, nonlinear regularity theory, truncation, strong comparison principle, bifurcation-type theoremFull text (file, 672,01 KB)
Keywords: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checkingFull text (file, 2,41 MB)
Keywords: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsFull text (file, 2,22 MB)
Keywords: 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 techniqueFull text (file, 1,81 MB) This document has more files! More...
Keywords: dependent type theory, context-free type theory, formal meta-theory, proof assistantsFull text (file, 2,36 MB) This document has more files! More...