Results 111 to 120 of about 12,131,620 (254)
Normal-order reduction grammars
, 2016 We present an algorithm which, for given $n$, generates an unambiguous regular tree grammar defining the set of combinatory logic terms, over the set $\{S,K\}$ of primitive combinators, requiring exactly $n$ normal-order reduction steps to normalize.
Bendkowski, Maciej
core +1 more source
arXiv, 2010 The purpose of this paper is to generalize the regular Optimal Reduction Theorem to general proper Dirac actions, formulated both in terms of point and orbit reduction. A comparison to general standard singular Dirac reduction is given emphasizing the desingularization role played by optimal reduction.
arxiv
Stable reduction of $X_0(p^4)$ [PDF]
arXiv, 2011 R. Coleman and K. McMurdy compute the stable reduction of $X_0(p^3).$ On the basis of their ideas, we compute the stable reduction of $X_0(p^4).$ As a result, in the stable reduction of $X_0(p^4)$, we find irreducible components, defined by $a^p-a=t^{p+1}$.
arxiv
A new construction of naturally reductive spaces [PDF]
arXiv, 2016 A new construction of naturally reductive spaces is presented. This construction gives a large amount of new families of naturally reductive spaces. First the infinitesimal models of the new naturally reductive spaces are constructed. A concrete transitive group of isometries is given for the new spaces and also the naturally reductive structure with ...
arxiv
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions [PDF]
arXiv, 2016 Continuing a series of articles in the past few years on creative telescoping using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telescoping algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic ...
arxiv
The reduction of glutathione by plant tissues [PDF]
, 1951 L. W. Mapson, David R. Goddard
openalex +1 more source