Results 1  10
of
9,028
A Transformation System for Developing Recursive Programs
, 1977
"... A system of rules for transforming programs is described, with the programs in the form of recursion equations An initially very simple, lucid. and hopefully correct program IS transformed into a more efficient one by altering the recursion structure Illustrative examples of program transformations ..."
Abstract

Cited by 653 (3 self)
 Add to MetaCart
A system of rules for transforming programs is described, with the programs in the form of recursion equations An initially very simple, lucid. and hopefully correct program IS transformed into a more efficient one by altering the recursion structure Illustrative examples of program transformations are given, and a tentative implementation !s described Alternative structures for programs are shown, and a possible initial phase for an automatic or semiautomatic program manipulation system is lndmated KEY WORDS AND PHRASES program transformation, program mampulatlon, optimization, recursion CR CATEGORIES' 3 69, 4 12, 4 22, 5 24, 5 25 1.
Braid group actions on derived categories of coherent sheaves
 DUKE MATH. J
, 2001
"... This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety X. The motivation for this is M. Kontsevich’s homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is ..."
Abstract

Cited by 261 (8 self)
 Add to MetaCart
is that when dim X ≥ 2, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities which lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the Mc
Braids
, 2009
"... An introduction to Topology and the Theory of Groups This text is an incomplete draft of a planned book which could be used as either a high school enrichment course, or an introductory college textbook for mathematically talented students. It has been posted for the ..."
Abstract

Cited by 23 (1 self)
 Add to MetaCart
An introduction to Topology and the Theory of Groups This text is an incomplete draft of a planned book which could be used as either a high school enrichment course, or an introductory college textbook for mathematically talented students. It has been posted for the
Formal (non)commutative symplectic geometry
 THE GELFAND MATHEMATICAL SEMINARS, 1990–1992”, BIRKHÄUSER
, 1993
"... ..."
Virtual Knot Theory
 European J. Comb
, 1999
"... This paper is an introduction to the theory of virtual knots. It is dedicated to the memory of Francois Jaeger. 1 ..."
Abstract

Cited by 343 (39 self)
 Add to MetaCart
This paper is an introduction to the theory of virtual knots. It is dedicated to the memory of Francois Jaeger. 1
The enumeration of fully commutative elements of Coxeter groups
 J. Algebraic Combin
, 1998
"... Abstract. Let W be a Coxeter group. We define an element w ~ W to be fully commutative if any reduced expression for w can be obtained from any other by means of braid relations that only involve commuting generators. We give several combinatorial characterizations of this property, classify the Cox ..."
Abstract

Cited by 105 (4 self)
 Add to MetaCart
Abstract. Let W be a Coxeter group. We define an element w ~ W to be fully commutative if any reduced expression for w can be obtained from any other by means of braid relations that only involve commuting generators. We give several combinatorial characterizations of this property, classify
THE ENUMERATION OF FULLY COMMUTATIVE AFFINE PERMUTATIONS
, 2009
"... We give a generating function for the fully commutative affine permutations enumerated by rank and Coxeter length, extending formulas due to Stembridge and Barcucci–Del Lungo–Pergola–Pinzani. For fixed rank, the length generating functions have coefficients that are periodic with period dividing t ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
We give a generating function for the fully commutative affine permutations enumerated by rank and Coxeter length, extending formulas due to Stembridge and Barcucci–Del Lungo–Pergola–Pinzani. For fixed rank, the length generating functions have coefficients that are periodic with period dividing
Braid Groups are Linear
 J. Amer. Math. Soc
, 2001
"... The braid group Bn can be dened as the mapping class group of the npunctured disk. A group is said to be linear if it admits a faithful representation into a group of matrices over R. Recently Daan Krammer has shown that a certain representation of the braid groups is faithful for the case n = ..."
Abstract

Cited by 120 (7 self)
 Add to MetaCart
The braid group Bn can be dened as the mapping class group of the npunctured disk. A group is said to be linear if it admits a faithful representation into a group of matrices over R. Recently Daan Krammer has shown that a certain representation of the braid groups is faithful for the case n
Results 1  10
of
9,028