A proof of Ehrenfeucht's conjecture
Theoretical Computer Science
The algorithmic beauty of plants
The algorithmic beauty of plants
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
An algorithm for constructing Gro¨bner and free Schreier bases in free group algebras
Journal of Symbolic Computation
Mathematical Theory of L Systems
Mathematical Theory of L Systems
L Systems, Most of the papers were presented at a conference in Aarhus, Denmark
Hi-index | 0.00 |
Methods are described for reducing the equivalence problem for sequences defined by recurrence equations in various finitely generated groups to polynomial Gröbner basis constructions. The methods are simple enough to allow a straigthforward implementation in computer algebra programs.