The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]
J Autom Reason, 2018 Bancerek G +6 more
europepmc +1 more source
Quantifier elimination in the theory of L<sub>p</sub>(L<sub>q</sub>) Banach lattices
Journal of Logic and Analysis, 2011 C Ward Henson, Yves Raynaud
doaj +1 more source
Weighted A-statistical convergence for sequences of positive linear operators. [PDF]
ScientificWorldJournal, 2014 Mohiuddine SA, Alotaibi A, Hazarika B.
europepmc +1 more source
Constructive realizable multiresolution wavelet-like systems based on multi-windows spline-type spaces. [PDF]
Proc Int Symp Symb Numer Algorithms Sci Comput, 2017 Onchis DM, Zappalà S.
europepmc +1 more source
Resolvent positive linear operators exhibit the reduction phenomenon. [PDF]
Proc Natl Acad Sci U S A, 2012 Altenberg L.
europepmc +1 more source
Littlewood-Paley Theory for Triangle Buildings. [PDF]
J Geom Anal, 2018 Steger T, Trojan B.
europepmc +1 more source
Splicing variation of BMP2K balances abundance of COPII assemblies and autophagic degradation in erythroid cells. [PDF]
Elife, 2020 Cendrowski J +8 more
europepmc +1 more source
Global asymptotic coherence in discrete dynamical systems. [PDF]
Proc Natl Acad Sci U S A, 2006 Earn DJ, Levin SA.
europepmc +1 more source
A Generalized Relative (α, β)-Entropy: Geometric Properties and Applications to Robust Statistical Inference. [PDF]
Entropy (Basel), 2018 Ghosh A, Basu A.
europepmc +1 more source