February 2026
8 papers.
-
Set-theoretic absoluteness for analysts and separable -algebras without Choice
4 definitions38 statements25 proofs
-
Dekker’s floating point number system and compensated summation algorithms
3 definitions21 statements
-
A posteriori error estimates for a modified Morley FEM
9 statements9 proofs
-
Stochastic variance reduced extragradient methods for solving hierarchical variational inequalities
4 definitions15 statements2 proofs
-
A priori estimates for general elliptic and parabolic boundary value problems over irregular domains
9 definitions27 statements13 proofs
-
On Extremal Family Trees (\mathcal{T}_n)_{n\geqslant 3} Beyond Caterpillars and Greedy Constructions
2 definitions16 statements10 proofs2 problems
-
Moments of sums of exponentials, beyond CHS
11 statements9 proofs
-
Population size of critical Galton-Watson processes under small deviations and infinite variance
6 statements