FLoC'99 Workshop
Gröbner Bases and Rewriting Techniques
June 30 - July 1, 1999, Trento, Italy
This workshop preliminary to the RTA conference brought
together people from various fields of mathematics and computer
science, all having a common interest in symbolic rewriting
techniques. The connections between methods from Gröbner basis
theory and string rewriting were particularly highlighted.
Tutorials
Workshop Sections
- U. Martin, D. Shand (University of St Andrews), Invariants, patterns and weights for ordering terms
- D. Hofbauer, Ch. Koegl, K. Madlener, F. Otto, B. Reinert (Gesamthochschule Kassel and Universität Kaiserslautern), XSSR: an experimental system for string-rewriting - decision problems, algorithms, and implementation
- W. de Graaf (University of St Andrews), Hall and Gröbner bases and
rewriting in free Lie algebras
- A. Heyworth (University of Wales), Rewriting procedures generalise
to Kan extensions of actions of categories
- P. Nordbeck (Lund University), Non-commutative Gröbner bases under composition
- J. Mansson (Lund University), On linear equations in some non-commutative algebras
- S. Pride (University of Glasgow), Rewriting systems from a geometric
viewpoint
Organizing Committee
Susan Hermiller,University of Nebraska Lincoln
Ben Keller, University of Montana
Klaus Madlener (Chair),
Birgit Reinert, Universität Kaiserslautern
Copyright:
The documents distributed by this page have been provided by the
contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and
all rights therein are maintained by the authors or by other copyright
holders, notwithstanding that they have offered their works here
electronically. It is understood that all persons copying this information
will adhere to the terms and constraints invoked by each author's copyright.
These works may not be reposted without the explicit permission of the
copyright holder.
FLoC'99, RTA