Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Asymptotic analysis of positive solutions of generalized Emden-Fowler differential equations in the framework of regular variation

100%
Jaroš J., Takaŝi K., Manojlović J.
Open Mathematics
|
2013
|
tom 11
|
nr 12
2215-2233
EN
Positive solutions of the nonlinear second-order differential equation $(p(t)|x'|^{\alpha - 1} x')' + q(t)|x|^{\beta - 1} x = 0,\alpha > \beta > 0,$ are studied under the assumption that p, q are generalized regularly varying functions. An application of the theory of regular variation gives the possibility of obtaining necessary and sufficient conditions for existence of three possible types of intermediate solutions, together with the precise information about asymptotic behavior at infinity of all solutions belonging to each type of solution classes.
2
Content available remote

Cauchy Mean Theorem

76%
Grabowski A.
Formalized Mathematics
|
2014
|
tom 22
|
nr 2
157-166
EN
The purpose of this paper was to prove formally, using the Mizar language, Arithmetic Mean/Geometric Mean theorem known maybe better under the name of AM-GM inequality or Cauchy mean theorem. It states that the arithmetic mean of a list of a non-negative real numbers is greater than or equal to the geometric mean of the same list. The formalization was tempting for at least two reasons: one of them, perhaps the strongest, was that the proof of this theorem seemed to be relatively easy to formalize (e.g. the weaker variant of this was proven in [13]). Also Jensen’s inequality is already present in the Mizar Mathematical Library. We were impressed by the beauty and elegance of the simple proof by induction and so we decided to follow this specific way. The proof follows similar lines as that written in Isabelle [18]; the comparison of both could be really interesting as it seems that in both systems the number of lines needed to prove this are really close. This theorem is item #38 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.