78 citations · 90 across the 20 of their papers we have counts for
29 papers
Further quantitative moduli around uniform convexity
Andrei Sipos
We derive new formulas for quantities involved in the study of uniformly convex spaces, linear and nonlinear.
On the uniform convexity of the squared distance
Andrei Sipos
In 1983, Zălinescu showed that the squared norm of a uniformly convex normed space is uniformly convex on bounded subsets. We extend this result to the metric setting of uniformly…
Products of hyperbolic spaces
Pedro Pinto, Andrei Sipos
The class of uniformly smooth hyperbolic spaces was recently introduced by the first author as a common generalization of both CAT(0) spaces and uniformly smooth Banach spaces, in…
Proceedings 7th Symposium on Working Formal Methods
Horaţiu Cheval, Laurenţiu Leuştean, Andrei Sipoş
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
Normal forms and representable functions in Moisil logic
Andrei Sipos
In this note, we determine, by a disjunctive normal form theorem, which functions on the standard -nuanced Łukasiewicz-Moisil algebra are representable by formulas and we show h…
The computational content of super strongly nonexpansive mappings and uniformly monotone operators
Andrei Sipos
Recently, Liu, Moursi and Vanderwerff have introduced the class of super strongly nonexpansive mappings as a counterpart to operators which are maximally monotone and uniformly mon…