Related papers: Tangency vis-a'-vis differentiability by Peano, Se…
In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. Intuitively, vertices represent results of computations and the edge relation witnesses the ability of being assembled into a same piece of data or a same (strongly)…
Tangle structure trees, introduced in [3], offer a unified data structure that displays all the tangles of a graph or data set together with certificates for the non-existence of any other tangles, either locally or overall. In this paper…
For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…
The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. Garc\'ia-S\'anchez, together with several co-authors, derived…
One of the most startling mathematical discoveries of the nineteen century was the existence of plane-filling curves. As is well known, the first example of such a curve was given by the Italian mathematician Giuseppe Peano in 1890.…
Roberston and Seymour introduced tangles of order $k$ as objects representing highly connected parts of a graph and showed that every graph admits a tree-decomposition of adhesion $<k$ in which each tangle of order $k$ is contained in a…
Ehresmann's introduction of differentiable groupoids in the 1950s may be seen as a starting point for two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis…
We provide necessary and sufficient conditions for a correspondence taking values in a finite-dimensional Euclidean space to be open so as to revisit the pioneering work of Schmeidler (1969), Shafer (1974), Shafer-Sonnenschein (1975) and…
With an aim to include the contribution of surface tension in the action of the boundary, we define the tangential pressure in terms of surface tension and Normal curvature in a more naturally geometric way. First, we show that the negative…
The article presents a compact review of the analytical results (2002-2009) in the study of the system describing the motion of a top in two constant fields. The Liouville integrability of this system under certain condition of the…
G\"odel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in…
A characterization of the proximal normal cone is obtained and a separation theorem for convex subsets of Riemannian manifolds is established. Moreover, the convexity of the distance function $d_S$ for a convex subset $S$ in the cases where…
This text arises from teaching advanced undergraduate courses in differential topology for the master curriculum in Mathematics at the University of Pisa. So it is mainly addressed to motivated and collaborative master undergraduate…
In this note we prove optimal inequalities for bounded functions in terms of their deviation from their mean. These results extend and generalize some known inequalities due to Thong (2011) and Perfetti (2011)
We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies…
This paper introduces DD calculus and describes the basic calculus concepts of derivative and integral in a direct and non-traditional way, without limit definition: Derivative is computed from the point-slope equation of a tangent line and…
We study differentiability properties of functions defined in the euclidean space in terms of a conical square function which is analogue to the classical square function introduced by Stein and Zygmund in the sixties. Pointwise…
In discriminating between objects from different classes, the more separable these classes are the less computationally expensive and complex a classifier can be used. One thus seeks a measure that can quickly capture this separability…
Eliminating the arbitrary coefficients in the equation of a generic plane curve of order $n$ by computing sufficiently many derivatives, one obtains a differential equation. This is a projective invariant. The first one, corresponding to…
P. Albano and P. Cannarsa proved in 1999 that, under some applicable conditions, singularities of semiconcave functions in $\R^n$ propagate along Lipschitz arcs. Further regularity properties of these arcs were proved by P. Cannarsa and Y.…