相关论文: Towards a general theory of unprojection

There are several extensions of the classical Banach Fixed Point Theorem in technical literature. A branch of generalizations replaces usual contractivity by weaker but still effective assumptions. Our note follows this stream, presenting…

The method of exhaustion is generalized to a simple formula that can be used to integrate functions under very general conditions, provided that the integral exists. Both a geometric proof (following the usual procedure for the method of…

In this paper we give a generalization of a result of Wei.

Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.

We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results…

We establish sufficient conditions for finite convergence of the alternating projections method for two non-intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality,…

We generalize Romanoff's theorem. Also, we obtain a result on sums related to Euler's totient function.

A new definition for the notion of a (general) $\infty$-category is given.

We consider the problem of projecting a convex set onto a subspace, or equivalently formulated, the problem of computing a set obtained by applying a linear mapping to a convex feasible set. This includes the problem of approximating convex…

By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are…

An overview of the recent developments in plurifine potential theory.

We prove some new results related to Tanaka's formula.

In the current paper we attempt to transfer the notion of the projectional entropy, originally defined for multidimensional subshifts, to the case of actions of amenable groups. The main theorem states that if a system is strongly…

Recent theoretical work has identified random projection as a promising dimensionality reduction technique for learning mixtures of Gausians. Here we summarize these results and illustrate them by a wide variety of experiments on synthetic…

In 1971 I announced what I described as a nice proof of Tychonoff's Theorem, an immediate corollary of a result concerning closed projections combined with Mrowka's characterization of compactness: a space X is compact if and only if for…

An inequality, which combines the concept of completely monotone functions with the theory of divided differences, is proposed. It is a straightforward generalization of a result, recently introduced by two of the present authors.

Unsupervised object discovery is commonly interpreted as the task of localizing and/or categorizing objects in visual data without the need for labeled examples. While current object recognition methods have proven highly effective for…

The theory of generalized inverses of matrices and operators is closely connected with projections, i.e., idempotent (bounded) linear transformations. We show that a similar situation occurs in any associative ring $\mathcal{R}$ with a unit…

We generalize the theorems in {\it Mirror Principle I} and {\it II} to the case of general projective manifolds without the convexity assumption. We also apply the results to balloon manifolds, and generalize to higher genus.

After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…