Results 141 to 150 of about 129,346 (205)
Travelling breathers and solitary waves in strongly nonlinear lattices. [PDF]
Philos Trans A Math Phys Eng Sci, 2018 James G.
europepmc +1 more source
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
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
Weighted A-statistical convergence for sequences of positive linear operators. [PDF]
ScientificWorldJournal, 2014 Mohiuddine SA, Alotaibi A, Hazarika B.
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