Related papers: Proof mining in $L^p$ spaces
Let $E$ be a uniformly smooth and uniformly convex real Banach space and $E^*$ be its dual space. Suppose $A : E\rightarrow E^*$ is bounded, strongly monotone and satisfies the range condition such that $A^{-1}(0)\neq \emptyset$. Inspired…
The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…
We introduce the notion of a regular mapping on a non-commutative $L_p$-space associated to a hyperfinite von Neumann algebra for $1\le p\le \infty$. This is a non-commutative generalization of the notion of regular or order bounded map on…
Learning Spaces are certain set systems that are applied in the mathematical modeling of education. We propose a suitable compression (without loss of information) of such set systems to facilitate their logical and statistical analysis.…
When formalizing proofs with interactive theorem provers, it often happens that extra background knowledge (declarative or procedural) about mathematical concepts is employed without the formalizer explicitly invoking it, to help the…
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…
We prove strong convergence theorems of some iterative algorithms in a real uniformly smooth Banach space. The results presented extend, generalize and improve the corresponding results recently announced by many authors.
Recent work on loglinear models in probabilistic constraint logic programming is applied to first-order probabilistic reasoning. Probabilities are defined directly on the proofs of atomic formulae, and by marginalisation on the atomic…
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…
In this paper, we investigate the geometric properties of the variable mixed Lebesgue-sequence space $\ell^{q(\cdot)} (L^{p(\cdot)})$ as a Banach space. We show that, if $ 1<q_-,p_-,q_+,p_+<\infty $, then $\ell^{q(\cdot)} (L^{p(\cdot)})$ is…
We introduce Kuelbs-Steadman-type spaces for real-valued functions, with respect to countably additive measures, taking values in Banach spaces. We investigate their main properties and embeddings in $L^p$-type spaces, considering both the…
We find a new finite algorithm for evaluation of Lipschitz-free $p$-space norm in finite-dimensional Lipschitz-free $p$-spaces. We use this algorithm to deal with the problem of whether given $p$-metric spaces $N\subset M$, the canonical…
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In…
A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The corresponding $C(P_fP_f)$-coalgebra, where $C(P_fP_f)$ is the cofree comonad on $P_fP_f$, describes…
Goal-directed proof search in first-order logic uses meta-variables to delay the choice of witnesses; substitutions for such variables are produced when closing proof-tree branches, using first-order unification or a theory-specific…
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively…
We provide a few characterizations of a strictly convex Banach space. Using this we improve the main theorem of [Digar, Abhik; Kosuru, G. Sankara Raju; Cyclic uniform Lipschitzian mappings and proximal uniform normal structure. Ann. Funct.…
We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of…
Process mining is widely used to diagnose processes and uncover performance and compliance problems. It is also possible to see relations between different behavioral aspects, e.g., cases that deviate more at the beginning of the process…
In this paper we consider generalized square function norms of holomorphic functions with values in a Banach space. One of the main results is a characterization of embeddings of the form \[L^p(X)\subseteq \gamma(X) \subseteq L^q(X),\] in…