Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Anne Heyworth
Observed names:
Heyworth, A,
Heyworth, A.,
Heyworth, Anne
Observed institutions:
Engineering and Physical Sciences Research Council,
University of Leicester,
Bangor University
OpenAlex ID:
A5054331607
Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories
2000
·
Ronald Brown
, Anne Heyworth
·
Journal of Symbolic Computation
·
15
Rewriting as a special case of non-commutative Gröbner basis theory
2000
·
Anne Heyworth
·
Cambridge University Press eBooks
·
10
Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations
1998
·
Heyworth, Anne
·
arXiv (Cornell University)
·
10
PDF
Logged rewriting and identities among relators
2003
·
Anne Heyworth
, Christopher D. Wensley
·
Cambridge University Press eBooks
·
9
One-Sided Noncommutative Gröbner Bases with Applications to Computing Green's Relations
2001
·
Anne Heyworth
·
Journal of Algebra
·
9
PDF
String rewriting for double coset systems
2005
·
Ronald Brown
, Neil Ghani
, et al.
·
Journal of Symbolic Computation
·
3
Groebner Basis Procedures for Testing Petri Nets
2000
·
Chandler, Angie
, Heyworth, Anne
·
arXiv (Cornell University)
·
2
PDF
Computational and Geometric Aspects of Modern Algebra: Rewriting as a special case of non-commutative Gröbner basis theory
2000
·
Anne Heyworth
·
CiteSeer X (The Pennsylvania State University)
·
2
Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories
1999
·
Brown, Ronald
, Heyworth, Anne
·
arXiv (Cornell University)
·
2
PDF
Logged Rewriting for Monoids
2005
·
Heyworth, A.
, Johnson, M.
·
arXiv (Cornell University)
·
1
PDF
A Rewriting Alternative to Reidemeister-Schreier
2003
·
Neil Ghani
, Anne Heyworth
·
Lecture notes in computer science
·
1
Grobner Bases as a Tool for Petri Net Analysis
2001
·
Angie Chandler
, Anne Heyworth
·
Lancaster EPrints (Lancaster University)
·
1
Grobner Basis Techniques for Computing Actions of K-Categories
2000
·
Heyworth, Anne
·
arXiv (Cornell University)
·
1
PDF
Testing Petri Nets for Mobile Robots Using Groebner Bases
2000
·
Angie Chandler
, Lynne Blair
, et al.
·
Lancaster EPrints (Lancaster University)
·
1
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories
1999
·
Heyworth, Anne
·
arXiv (Cornell University)
·
1
PDF
Using Automata to obtain Regular Expressions for Induced Actions
1999
·
Heyworth, Anne
·
arXiv (Cornell University)
·
1
PDF
One-sided Noncommutative Groebner Bases with Applications to Green's Relations
1999
·
Heyworth, Anne
·
arXiv (Cornell University)
·
1
PDF
A package for Induced Category Actions Version 1.07
2015
·
Anne Heyworth
, Chris Wensley
The Kan package was originally implemented in 1997 using the GAP 3 language, to compute induced actions of categories, when the first author was studying for a Ph.D. in Bangor. This reduced version only provides functions for the computation of normal forms of representatives of double cosets of finitely presented groups. Bug reports, suggestions and comments are, of course, welcome. Please contact the second author at
2013
·
Anne Heyworth
, Chris Wensley
Computing over K-modules
2002
·
Neil Ghani
, Anne Heyworth
·
Electronic Notes in Theoretical Computer Science
PDF
Logged Rewriting Procedures with Application to Identities Among Relations
1999
·
Heyworth, Anne
, Wensley, Christopher D
·
arXiv (Cornell University)
PDF
Rewriting as a Special Case of Noncommutative Groebner Basis Theory
1999
·
Heyworth, Anne
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
27
Citation count:
70
H-index:
5
I10-index:
3
Year
Topic
Type
