Document Search Results

Mathematical Surveys and Monographs 246. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5308-4/hbk; 978-1-4704-5684-9/ebook). ix, 246 p. (2020).

Reviewer: Christian Pötzsche (Klagenfurt)

MSC: 34-02 34D45 35B41 37C70 35B20 37D15 34G20 34D10

Cite Review PDF

Full Text: DOI

Ferreira, Fernando

The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. (English) Zbl 1455.03077

Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020).

Reviewer: Bruno Dinis (Lisboa)

MSC: 03F10 03F35 03F50 03B40 03F25

Cite Review PDF

Full Text: DOI

He, Tao; Li, Shuhai; Ma, Li’na; Ao, En; Tang, Huo

Generalized \(\lambda\)-Handamard product for a class of analytic functions. (Chinese. English summary) Zbl 1438.30049

Math. Pract. Theory 49, No. 8, 212-217 (2019).

MSC: 30C45 30C50 30C80

Cite Review PDF

Asada, Kazuyuki; Kobayashi, Naoki

Lambda-definable order-3 tree functions are well-quasi-ordered. (English) Zbl 1528.68170

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 14, 15 p. (2018).

MSC: 68Q45 03B40 68Q42

Cite Review PDF

Full Text: DOI

Tomassini, Adriano; Wang, Xu

Some results on the hard Lefschetz condition. (English) Zbl 1410.32010

Int. J. Math. 29, No. 13, Article ID 1850095, 30 p. (2018).

Reviewer: Vehbi Emrah Paksoy (Fort Lauderdale)

MSC: 32J27 32Q60 53C55 53D05

Cite Review PDF

Full Text: DOI

Altinkaya, Şahsene; Özkan, Yeşim Sağlam

On Salagean type pseudo-starlike functions. (English) Zbl 1390.30025

Acta Comment. Univ. Tartu. Math. 21, No. 2, 275-285 (2017).

MSC: 30C80

Cite Review PDF

Full Text: DOI

Mo, Qiuhui; Zhao, Xiangui; Pan, Qingnian

Embedding countably generated algebras into simple 2-generated algebras. (English) Zbl 1394.16026

Algebra Colloq. 24, No. 3, 493-508 (2017).

MSC: 16S15 13P10

Cite Review PDF

Full Text: DOI

Guardia, Marcel; Seara, Tere M.; Martín, Pau; Sabbagh, Lara

Oscillatory orbits in the restricted elliptic planar three body problem. (English) Zbl 1404.70029

Discrete Contin. Dyn. Syst. 37, No. 1, 229-256 (2017).

MSC: 70F07 70F15 37J40

Cite Review PDF

Full Text: DOI

Bedford, Eric; Firsova, Tanya

Geometric proof of the \(\lambda\)-lemma. (English. French summary) Zbl 1341.30007

Ann. Fac. Sci. Toulouse, Math. (6) 25, No. 1, 1-18 (2016).

Reviewer: Feng Rong (Shanghai)

MSC: 30C35

Cite Review PDF

Full Text: DOI arXiv

Weber, Joa

Contraction method and lambda-lemma. (English) Zbl 1369.37020

São Paulo J. Math. Sci. 9, No. 2, 263-298 (2015).

MSC: 37B35 37B30 37D20 37C85

Cite Review PDF

Full Text: DOI arXiv

Kurz, Alexander; Pardo, Alberto; Petrişan, Daniela; Severi, Paula; De Vries, Fer-Jan

Approximation of nested fixpoints – a coalgebraic view of parametric dataypes. (English) Zbl 1366.68186

Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 205-220 (2015).

MSC: 68Q65 68N18

Cite Review PDF

Full Text: DOI

Shi, Xianghui

Axiom \(I_{0}\) and higher degree theory. (English) Zbl 1382.03071

J. Symb. Log. 80, No. 3, 970-1021 (2015).

MSC: 03E55 03E45 03D30 03E40 03E60

Cite Review PDF

Full Text: DOI

Tan, Qiang; Xu, Haifeng

Lefschetz decomposition for de Rham cohomology on weakly Lefschetz symplectic manifolds. (English) Zbl 1421.53081

Front. Math. China 10, No. 5, 1169-1178 (2015).

MSC: 53D05 55N20

Cite Review PDF

Full Text: DOI

Cresson, Jacky; Wiggins, Stephen

A \(\lambda\)-lemma for normally hyperbolic invariant manifolds. (English) Zbl 1331.37034

Regul. Chaotic Dyn. 20, No. 1, 94-108 (2015).

MSC: 37D10 37J40 70H08

Cite Review PDF

Full Text: DOI arXiv

Srivastava, H. M.; Magesh, N.; Yamini, J.

Initial coefficient estimates for bi-\(\lambda\)-convex and bi-\(\mu\)-starlike functions connected with arithmetic and geometric means. (English) Zbl 1463.30088

Electron. J. Math. Anal. Appl. 2, No. 2, 152-162 (2014).

MSC: 30C45 30C80

Cite Review PDF

Full Text: Link

Weber, Joa

A backward \(\lambda\)-lemma for the forward heat flow. (English) Zbl 1306.37090

Math. Ann. 359, No. 3-4, 929-967 (2014).

Reviewer: Weiping Li (Stillwater)

MSC: 37L05 37L15 37L25 37L45 35K05

Cite Review PDF

Full Text: DOI arXiv

Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent

Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. (English) Zbl 1290.68067

Log. Methods Comput. Sci. 10, No. 2, Paper No. 7, 33 p. (2014).

MSC: 68Q42 03B40

Cite Review PDF

Full Text: DOI arXiv

Lin, Xiao-Biao

Stability of standing waves for monostable reaction-convection equations in a large bounded domain with boundary conditions. (English) Zbl 1323.35090

J. Differ. Equations 255, No. 1, 58-84 (2013).

Reviewer: Zhi-Cheng Wang (Lanzhou)

MSC: 35K58 35B35 35C07 35K57

Cite Review PDF

Full Text: DOI

Lu, Jiafeng

\((p,\lambda)\)-Koszul algebras and modules. II. (English) Zbl 1283.16023

Turk. J. Math. 37, No. 2, 244-258 (2013).

MSC: 16S37 16W50 16E30 16E05

Cite Review PDF

Dafni, Galia; Yue, Hong

Some characterizations of local bmo and \(h^1\) on metric measure spaces. (English) Zbl 1266.42052

Anal. Math. Phys. 2, No. 3, 285-318 (2012).

Reviewer: Daniel Aalto (Åbo)

MSC: 42B30 42B35 43A85

Cite Review PDF

Full Text: DOI

Lecko, Adam

Boundary subordination. (English) Zbl 1243.30031

Ann. Pol. Math. 104, No. 2, 189-201 (2012).

Reviewer: V. Ravichandran (Penang)

MSC: 30C45 30C80

Cite Review PDF

Full Text: DOI

Dotsenko, Vladimir; Johansson, Mikael Vejdemo

Implementing Gröbner bases for operads. (English) Zbl 1277.68301

Loday, Jean-Louis (ed.) et al., Operads 2009. Proceedings of the school and conference, Luminy, France, April 20–30, 2009. Paris: Société Mathématique de France (ISBN 978-2-85629-363-8/pbk). Séminaires et Congrès 26, 77-98 (2011).

MSC: 68W30 16S15 18D50 68N18

Cite Review PDF

Full Text: arXiv

Gardiner, Frederick P.; Jiang, Yunping; Wang, Zhe

Holomorphic motions and related topics. (English) Zbl 1198.30019

Gardiner, Frederick P. (ed.) et al., Geometry of Riemann surfaces. Proceedings of the Anogia conference to celebrate the 65th birthday of William J. Harvey, Anogia, Crete, Greece, June–July 2007. Cambridge: Cambridge University Press (ISBN 978-0-521-73307-6/pbk). London Mathematical Society Lecture Note Series 368, 156-193 (2010).

Reviewer: Athanase Papadopoulos (Strasbourg)

MSC: 30C62 30F60 32F45

Cite Review PDF

Full Text: arXiv

Qiu, Jianjun; Chen, Yuqun

Composition-diamond lemma for \(\lambda\)-differential associative algebras with multiple operators. (English) Zbl 1197.16029

J. Algebra Appl. 9, No. 2, 223-239 (2010).

Reviewer: Volodymyr Mazorchuk (Uppsala)

MSC: 16S15 13P10 16S10

Cite Review PDF

Full Text: DOI arXiv

Schmidt-Schauß, Manfred; Sabel, David

On generic context lemmas for higher-order calculi with sharing. (English) Zbl 1191.68165

Theor. Comput. Sci. 411, No. 11-13, 1521-1541 (2010).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Vijaywargiya, Pramila

On some results for \(\lambda\)-spirallike functions of complex order of higher-order derivatives of multivalent functions. (English) Zbl 1224.30090

Acta Univ. Apulensis, Math. Inform. 20, 175-181 (2009).

MSC: 30C45 30C80

Cite Review PDF

Full Text: EuDML

Arbieto, A.; Morales, C.

A \(\lambda \)-lemma for foliations. (English) Zbl 1165.57021

Topology Appl. 156, No. 8, 1491-1495 (2009).

Reviewer: Andrzej Piatkowski (Łódź)

MSC: 57R30 37C85

Cite Review PDF

Full Text: DOI

Nishizawa, Yusuke

Existence of horseshoe sets with nondegenerate one-sided homoclinic tangencies in \(\mathbb R^3\). (English) Zbl 1147.37017

Hokkaido Math. J. 37, No. 1, 133-145 (2008).

MSC: 37D05 37C29 37C05 37D40 37C25 37G20

Cite Review PDF

Full Text: DOI

Comerford, Mark

Holomorphic motions of hyperbolic nonautonomous Julia sets. (English) Zbl 1218.37054

Complex Var. Elliptic Equ. 53, No. 1, 1-22 (2008).

MSC: 37F10 30D05

Cite Review PDF

Full Text: DOI

Levy, Paul Blain

Amb breaks well-pointedness, ground amb doesn’t. (English) Zbl 1316.68098

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 221-239 (2007).

MSC: 68Q85 68N18 68Q55

Cite Review PDF

Full Text: DOI

Kohayakawa, Yoshiharu; Rödl, Vojtěch; Schacht, Mathias; Sissokho, Papa; Skokan, Jozef

Turán’s theorem for pseudo-random graphs. (English) Zbl 1120.05084

J. Comb. Theory, Ser. A 114, No. 4, 631-657 (2007).

Reviewer: Ljuben Mutafchiev (Sofia)

MSC: 05C80

Cite Review PDF

Full Text: DOI

Ohmiya, Mayumi

Appell’s lemma and \(\Lambda\)-operator as a tool of solving ODEs. (English) Zbl 1183.34003

WSEAS Trans. Syst. 4, No. 11, 2023-2030 (2005).

Reviewer: Narahari Parhi (Bhubaneswar)

MSC: 34A05 34A25

Cite Review PDF

Stärk, Robert F.

Axioms for strict and lazy functional programs. (English) Zbl 1067.68045

Ann. Pure Appl. Logic 133, No. 1-3, 293-318 (2005).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Rayskin, Victoria

Homoclinic tangencies in \(\mathbb{R}^n\). (English) Zbl 1072.37013

Discrete Contin. Dyn. Syst. 12, No. 3, 465-480 (2005).

Reviewer: Alois Klíč (Praha)

MSC: 37B10 37D10 37C15 37C05

Cite Review PDF

Full Text: DOI

Rayskin, Victoria

Multidimensional singular \(\lambda\)-lemma. (English) Zbl 1039.37018

Electron. J. Differ. Equ. 2003, Paper No. 38, 9 p. (2003).

MSC: 37D30 37C29

Cite Review PDF

Full Text: EuDML EMIS

Fontich, Ernest; Martín, Pau

Hamiltonian systems with orbits covering densely submanifolds of small codimension. (English) Zbl 1018.37039

Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 52, No. 1, 315-327 (2003).

Reviewer: Boris V.Loginov (Ulyanovsk)

MSC: 37J40 70H08

Cite Review PDF

Full Text: DOI

Kwon, Oh Sang; Owa, Shigeyoshi

The subordination theorem for \(\lambda\)-spirallike functions of order \(\alpha\). (English) Zbl 1036.30016

Int. J. Appl. Math. 11, No. 2, 113-119 (2002).

MSC: 30C80 30C45

Cite Review PDF

Astala, K.; Martin, G. J.

Holomorphic motions. (English) Zbl 1001.30020

Heinonen, J. (ed.) et al., Papers on analysis: a volume dedicated to Olli Martio on the occasion of his 60th birthday. Jyväskylä: Univ. Jyväskylä, Institut für Mathematik und Statistik. Ber., Univ. Jyväskylä. 83, 27-40 (2001).

Reviewer: Dierk Schleicher (München)

MSC: 30C62 30F40 37F30 37F45

Cite Review PDF

Fontich, E.; Martín, P.

Differentiable invariant manifolds for partially hyperbolic tori and a lambda lemma. (English) Zbl 0985.37065

Nonlinearity 13, No. 5, 1561-1593 (2000).

Reviewer: Sergei Yu.Pilyugin (St.Peterburg)

MSC: 37J40 37D10 34C37 37D30

Cite Review PDF

Full Text: DOI Link

Cresson, Jacky

A \(\lambda\)-lemma for partially hyperbolic tori. (Un \(\lambda\)-lemme pour des tores partiellement hyperboliques.) (French. Abridged English version) Zbl 0976.37036

C. R. Acad. Sci., Paris, Sér. I, Math. 331, No. 1, 65-70 (2000).

MSC: 37J15 37J40 37D30 37D10

Cite Review PDF

Full Text: DOI

Honsell, Furio; Sannella, Donald

Pre-logical relations. (English) Zbl 0942.03018

Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 546-561 (1999).

MSC: 03B40 03B70

Cite Review PDF

Cresson, Jacky

A \(\lambda\)-lemma for partially hyperbolic tori and the obstruction property. (English) Zbl 0888.58045

Lett. Math. Phys. 42, No. 4, 363-377 (1997).

MSC: 37D99 54H20 37J99 37J35 37K10 34C37 37J40 70K50

Cite Review PDF

Full Text: DOI

Marco, Jean-Pierre

Transition along chains of invariant tori for analytic Hamiltonian systems. (Transition le long des chaînes de tores invariants pour les systèmes hamiltoniens analytiques.) (French) Zbl 0854.70011

Ann. Inst. Henri Poincaré, Phys. Théor. 64, No. 2, 205-252 (1996).

MSC: 70H05 37J99

Cite Review PDF

Full Text: Numdam EuDML

Jim, Trevor; Meyer, Albert R.

Full abstraction and the context lemma. (English) Zbl 0856.03013

SIAM J. Comput. 25, No. 3, 663-696 (1996).

Reviewer: G.E.Tseytlin (Kiev)

MSC: 03B40 68N15 68W30 68Q42 68Q55

Cite Review PDF

Full Text: DOI

Nipkow, Tobias

More Church-Rosser proofs (in Isabelle/HOL). (English) Zbl 1412.68248

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 733-747 (1996).

MSC: 68T15 03B40

Cite Review PDF

Full Text: DOI

Li, Zehui; Zhang, Qiang

Some results of \(g_ \lambda\)-measures on measurable spaces. (Chinese. English summary) Zbl 0865.28016

J. Lanzhou Univ., Nat. Sci. 31, No. 4, 31-38 (1995).

MSC: 28E10

Cite Review PDF

Douady, Adrien

Extension of holomorphic motions (after Słodkowski and others). (Prolongement de mouvements holomorphes (d’après Słodkowski et autres).) (French) Zbl 0832.30016

Séminaire Bourbaki. Volume 1993/94. Exposés 775-789. Paris: Société Mathématique de France, Astérisque. 227, 7-20 (Exp. No. 775) (1995).

Reviewer: H.Kriete (Göttingen)

MSC: 30D05

Cite Review PDF

Full Text: Numdam EuDML

Huet, Gérard

Residual theory in \(\lambda\)-calculus: A formal development. (English) Zbl 0826.03008

J. Funct. Program. 4, No. 3, 371-394 (1994).

Reviewer: R.David (Chambéry)

MSC: 03B35 03B40

Cite Review PDF

Full Text: DOI

Li, Lushu

The \(\lambda\)-additive measures generated by density functions. (English) Zbl 0805.28012

J. Fuzzy Math. 2, No. 2, 379-388 (1994).

MSC: 28E10

Cite Review PDF

Ghilezan, Silvia

Application of typed lambda calculi in the untyped lambda calculus. (English) Zbl 0947.03021

Nerode, A. (ed.) et al., LFCS ’94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 813, 129-139 (1994).

MSC: 03B40 68Q55

Cite Review PDF

Akama, Yohji

On Mints’ reduction for ccc-calculus. (English) Zbl 0786.03006

Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 1-12 (1993).

MSC: 03B22 03B40

Cite Review PDF

Ohtsuka, Hiroshi

A proof of the substitution lemma in de Bruijn’s notation. (English) Zbl 0770.68088

Inf. Process. Lett. 46, No. 2, 63-66 (1993).

MSC: 68Q55

Cite Review PDF

Full Text: DOI

Hua, Wenxiu; Li, Lushu

The \(g_ \lambda\)-measures and conditional \(g_ \lambda\)-measures on measurable spaces. (English) Zbl 0755.28010

Fuzzy Sets Syst. 46, No. 2, 211-219 (1992).

MSC: 28E10 60A10

Cite Review PDF

Full Text: DOI

Sugawa, Toshiyuki

The Bers projection and the \(\lambda\)-lemma. (English) Zbl 0784.30039

J. Math. Kyoto Univ. 32, No. 4, 701-713 (1992).

Reviewer: S.Nag (Madras)

MSC: 30F60 30C20 30F30 32G15

Cite Review PDF

Full Text: DOI

Gupta, A. K.; Kabe, D. G.

One-way classification ANOVA model for the mixture of two multivariate normal populations. (English) Zbl 0734.62073

Biom. J. 33, No. 3, 361-367 (1991).

MSC: 62J10

Cite Review PDF

Full Text: DOI

Ballard, David

Combinatory completeness without classical equality. (English) Zbl 0639.03013

J. Philos. Logic 17, No. 2, 115-132 (1988).

Reviewer: D.Ballard

MSC: 03B40

Cite Review PDF

Full Text: DOI

de Melo, W.; van Strien, S. J.

Diffeomorphisms on surfaces with finite number of moduli. (English) Zbl 0609.58023

Ergodic Theory Dyn. Syst. 7, 415-462 (1987).

MSC: 37C75 37D15 34C40

Cite Review PDF

Full Text: DOI

Kabe, D. G.

On a GMANOVA model likelihood ratio test criterion. (English) Zbl 0613.62062

Commun. Stat., Theory Methods 15, 3419-3427 (1986).

MSC: 62H10 62J10 62H15

Cite Review PDF

Full Text: DOI

Waterman, Michael S.

Probability distributions for DNA sequence comparisons. (English) Zbl 0597.92011

Some mathematical questions in biology, DNA sequence analysis, Proc. 18th Annu. Symp., New York 1984, Lect. Math. Life Sci. 17, 29-56 (1986).

Reviewer: J.Spouge

MSC: 92Cxx 60F15

Cite Review PDF

Guralnick, Robert M.

Lifting homomorphisms of modules. (English) Zbl 0558.16003

Ill. J. Math. 29, 153-156 (1985).

Reviewer: R.Y.Sharp

MSC: 16H05 16P10 13C05 13E10 13E05 16W20 13F30 13H99

Cite Review PDF

Padmanabhan, K. S.; Thangamani, J.

The effect of certain integral operators on some classes of starlike functions with respect to symmetric points. (English) Zbl 0507.30009

Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 26(74), 355-360 (1982).

MSC: 30C45 30C80

Cite Review PDF

Found 67 Documents (Results 1–67)

A solution to the conjecture on \(\lambda \)-pure acyclic complexes. (English) Zbl 1491.18019

Some remarks for \(\lambda\)-spirallike function of complex order at the boundary of the unit disc. (English) Zbl 1486.30026

A Lipschitz version of the \(\lambda\)-lemma and a characterization of homoclinic and heteroclinic orbits. (English) Zbl 1493.37032

\(\lambda\)-lemma for nonhyperbolic point in intersection. (English) Zbl 1474.37024

Boundedness of bi-parameter Littlewood-Paley \(g_{\lambda}^\ast\)-function on Hardy spaces. (English) Zbl 1465.42019

Oscillatory orbits in the restricted planar four body problem. (English) Zbl 1476.70028

Attractors under autonomous and non-autonomous perturbations. (English) Zbl 1464.34002

The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. (English) Zbl 1455.03077

Generalized \(\lambda\)-Handamard product for a class of analytic functions. (Chinese. English summary) Zbl 1438.30049

Lambda-definable order-3 tree functions are well-quasi-ordered. (English) Zbl 1528.68170

Some results on the hard Lefschetz condition. (English) Zbl 1410.32010

On Salagean type pseudo-starlike functions. (English) Zbl 1390.30025

Embedding countably generated algebras into simple 2-generated algebras. (English) Zbl 1394.16026

Oscillatory orbits in the restricted elliptic planar three body problem. (English) Zbl 1404.70029

Geometric proof of the \(\lambda\)-lemma. (English. French summary) Zbl 1341.30007

Contraction method and lambda-lemma. (English) Zbl 1369.37020

Approximation of nested fixpoints – a coalgebraic view of parametric dataypes. (English) Zbl 1366.68186

Axiom \(I_{0}\) and higher degree theory. (English) Zbl 1382.03071

Lefschetz decomposition for de Rham cohomology on weakly Lefschetz symplectic manifolds. (English) Zbl 1421.53081

A \(\lambda\)-lemma for normally hyperbolic invariant manifolds. (English) Zbl 1331.37034

Initial coefficient estimates for bi-\(\lambda\)-convex and bi-\(\mu\)-starlike functions connected with arithmetic and geometric means. (English) Zbl 1463.30088

A backward \(\lambda\)-lemma for the forward heat flow. (English) Zbl 1306.37090

Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. (English) Zbl 1290.68067

Stability of standing waves for monostable reaction-convection equations in a large bounded domain with boundary conditions. (English) Zbl 1323.35090

\((p,\lambda)\)-Koszul algebras and modules. II. (English) Zbl 1283.16023

Some characterizations of local bmo and \(h^1\) on metric measure spaces. (English) Zbl 1266.42052

Boundary subordination. (English) Zbl 1243.30031

Implementing Gröbner bases for operads. (English) Zbl 1277.68301

Holomorphic motions and related topics. (English) Zbl 1198.30019

Composition-diamond lemma for \(\lambda\)-differential associative algebras with multiple operators. (English) Zbl 1197.16029

On generic context lemmas for higher-order calculi with sharing. (English) Zbl 1191.68165

On some results for \(\lambda\)-spirallike functions of complex order of higher-order derivatives of multivalent functions. (English) Zbl 1224.30090

A \(\lambda \)-lemma for foliations. (English) Zbl 1165.57021

Existence of horseshoe sets with nondegenerate one-sided homoclinic tangencies in \(\mathbb R^3\). (English) Zbl 1147.37017

Holomorphic motions of hyperbolic nonautonomous Julia sets. (English) Zbl 1218.37054

Amb breaks well-pointedness, ground amb doesn’t. (English) Zbl 1316.68098

Turán’s theorem for pseudo-random graphs. (English) Zbl 1120.05084

Appell’s lemma and \(\Lambda\)-operator as a tool of solving ODEs. (English) Zbl 1183.34003

Axioms for strict and lazy functional programs. (English) Zbl 1067.68045

Homoclinic tangencies in \(\mathbb{R}^n\). (English) Zbl 1072.37013

Multidimensional singular \(\lambda\)-lemma. (English) Zbl 1039.37018

Hamiltonian systems with orbits covering densely submanifolds of small codimension. (English) Zbl 1018.37039

The subordination theorem for \(\lambda\)-spirallike functions of order \(\alpha\). (English) Zbl 1036.30016

Holomorphic motions. (English) Zbl 1001.30020

Differentiable invariant manifolds for partially hyperbolic tori and a lambda lemma. (English) Zbl 0985.37065

A \(\lambda\)-lemma for partially hyperbolic tori. (Un \(\lambda\)-lemme pour des tores partiellement hyperboliques.) (French. Abridged English version) Zbl 0976.37036

Pre-logical relations. (English) Zbl 0942.03018

A \(\lambda\)-lemma for partially hyperbolic tori and the obstruction property. (English) Zbl 0888.58045

Transition along chains of invariant tori for analytic Hamiltonian systems. (Transition le long des chaînes de tores invariants pour les systèmes hamiltoniens analytiques.) (French) Zbl 0854.70011

Full abstraction and the context lemma. (English) Zbl 0856.03013

More Church-Rosser proofs (in Isabelle/HOL). (English) Zbl 1412.68248

Some results of \(g_ \lambda\)-measures on measurable spaces. (Chinese. English summary) Zbl 0865.28016

Extension of holomorphic motions (after Słodkowski and others). (Prolongement de mouvements holomorphes (d’après Słodkowski et autres).) (French) Zbl 0832.30016

Residual theory in \(\lambda\)-calculus: A formal development. (English) Zbl 0826.03008

The \(\lambda\)-additive measures generated by density functions. (English) Zbl 0805.28012

Application of typed lambda calculi in the untyped lambda calculus. (English) Zbl 0947.03021

On Mints’ reduction for ccc-calculus. (English) Zbl 0786.03006

A proof of the substitution lemma in de Bruijn’s notation. (English) Zbl 0770.68088

The \(g_ \lambda\)-measures and conditional \(g_ \lambda\)-measures on measurable spaces. (English) Zbl 0755.28010

The Bers projection and the \(\lambda\)-lemma. (English) Zbl 0784.30039

One-way classification ANOVA model for the mixture of two multivariate normal populations. (English) Zbl 0734.62073

Combinatory completeness without classical equality. (English) Zbl 0639.03013

Diffeomorphisms on surfaces with finite number of moduli. (English) Zbl 0609.58023

On a GMANOVA model likelihood ratio test criterion. (English) Zbl 0613.62062

Probability distributions for DNA sequence comparisons. (English) Zbl 0597.92011

Lifting homomorphisms of modules. (English) Zbl 0558.16003

The effect of certain integral operators on some classes of starlike functions with respect to symmetric points. (English) Zbl 0507.30009

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software