V. van Oostrom  Home/Search
Context
Related
| phil.uu.nl/~oostrom/braids.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~oostrom/publi...rewriting (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: trands. 3 Two simple cases are presented in Figure 1, where the arrows indicate how to manipulate the strands to transform the left-hand braid into the right-hand braid and vice versa. 1 This section is based on [KV]. 2 Like for knots, we will concentrate on a two-dimensional representation for threedimensional braids [Art47]. 3 Such braids are said to be isotopic [Art47]. ß ß Figure 1: Transformaties op vlechten Exercise 1 Execute the transformations in Figure 1 on real strands (e.g. ... (Update)
Active bibliography (related documents): More All
0.4: Finite Family Developments - van Oostrom (1997) (Correct)
0.3: Higher-Order Families - van Oostrom (1996) (Correct)
0.2: Call by Need Computations to Root-Stable Form - Middeldorp (1997) (Correct)
Similar documents based on text:
0.3: New Public-key Cryptosystem Using Braid Groups - Ko, Lee, Cheon, Han, Kang, Park (Correct)
0.3: Braid Groups are Linear - Bigelow (2001) (Correct)
0.3: Braids of Curves - The Following Lists (Correct)
BibTeX entry: (Update)
@misc{ oostrom-course,
author = "V. van Oostrom",
title = "Course notes on Braids",
url = "citeseer.ist.psu.edu/138093.html" }
Citations (may not include all citations):174 Combinatory Reduction Systems (context) - Klop - 1980
102 Computations in orthogonal rewriting systems (context) - Huet, L'evy - 1991
65 volume 103 of Studies in Logic and the Foundations of Mathem.. (context) - Barendregt, Calculus et al. - 1984
57 Confluence for Abstract and Higher-Order Rewriting (context) - van Oostrom - 1994
51 Theoretical Computer Science (context) - van Oostrom - 1997
41 The braid group and other groups (context) - Garside - 1969
38 Parallel reductions in -calculus (context) - Takahashi - 1995
23 Relations and Graphs - Discrete Mathematics for Computer Sci.. (context) - Schmidt, Strohlein - 1991
22 Higher-order families - van Oostrom - 1996
21 Residual theory in -calculus: a formal development (context) - Huet - 1994
15 Theorie der Zopfe (context) - Artin - 1926
14 Equational reasoning with 2-dimensional diagrams - Lafont - 1992
13 ese de doctorat d (context) - L'evy, et et al. - 1978
9 Finite family developments - van Oostrom - 1997
7 Penrose diagrams and 2-dimensional rewriting (context) - Lafont - 1992
6 Annals of Mathematics (context) - Artin, braids - 1947
4 ese de doctorat, Universit (context) - Maranget, paresseuse - 1992
2 Faculteit der Wiskunde en Informatica (context) - termherschrijven, Universiteit
2 Faculteit der Wiskunde en Informatica (context) - termherschrijven, Universiteit
1 The algebraical braid group (context) - Bohnenblust - 1947
1 Braids described as an orthogonal rewriting system (context) - Mellies - 1995
1 A topological proof of confluence by decreasing diagrams (context) - Klop, de Vrijer - 1996
1 Email to the TeReSe mailing-list (context) - Zantema - 1995
Documents on the same site (http://www.cwi.nl/~oostrom/publication/rewriting.html): More
Higher-Order Families - van Oostrom (1996) (Correct)
Confluence by Developments and Development Closed Critical Pairs - van Oostrom (Correct)
Perpetuality and Uniform Normalization in Orthogonal.. - Khasidashvili, Ogawa, al. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC