×

Found 79 Documents (Results 1–79)

The Darboux problem for an implicit fractional-order differential equation. (English. Ukrainian original) Zbl 1279.35092

J. Math. Sci., New York 175, No. 4, 391-401 (2011); translation from Ukr. Mat. Visn. 7, No. 4, 439-452 (2010).
MSC:  35R11
PDFBibTeX XMLCite
Full Text: DOI

Analytical and numerical study of generalized Cauchy problems occurring in gas dynamics. (English. Russian original) Zbl 1272.76189

J. Appl. Mech. Tech. Phys. 52, No. 3, 352-362 (2011); translation from Prikl. Mekh. Tekh. Fiz. 52, No. 3, 30-40 (2011).
MSC:  76N10 76M20 35Q35
PDFBibTeX XMLCite
Full Text: DOI

Inverse problem for the diffusion equation with overdetermination in the form of an external volume potential. (Russian, English) Zbl 1274.76303

Zh. Vychisl. Mat. Mat. Fiz. 51, No. 9, 1695-1702 (2011); translation in Comput. Math. Math. Phys. 51, No. 9, 1588-1595 (2011).
MSC:  76R50
PDFBibTeX XMLCite
Full Text: DOI

On contraction principle applied to nonlinear fractional differential equations with derivatives of order \(\alpha \in (0,1)\). (English) Zbl 1273.34011

Nawrocki, Marek (ed.) et al., Marcinkiewicz centenary volume. Proceedings of the Józef Marcinkiewicz centenary conference, June 28–July 2, 2010. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-14-0/pbk). Banach Center Publications 95, 325-338 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Generalizations of the Borg uniqueness theorem to the case of nonseparated boundary conditions. (English. Russian original) Zbl 1254.34025

Dokl. Math. 83, No. 3, 302-305 (2011); translation from Dokl. Akad. Nauk 438, No. 1, 26-29 (2011).
MSC:  34A55 34B24
PDFBibTeX XMLCite
Full Text: DOI

Game semantics and uniqueness of type inhabitance in the simply-typed \(\lambda \)-calculus. (English) Zbl 1331.03018

Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 61-75 (2011).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

Software