Gretchen Ostheimer

Publication Activity (10 Years)

Years Active: 1995-2016
Publications (10 Years): 1

Top Topics

Relational Database Theory

Randomly Selected

Prime Implicates

Top Venues

Int. J. Algebra Comput.

Publications

Gilbert Baumslag, Charles F. Miller III, Gretchen Ostheimer
Decomposability of finitely generated torsion-free nilpotent groups. Int. J. Algebra Comput. 26 (8) (2016)
Murray Elder, Gillian Z. Elston, Gretchen Ostheimer
On groups that have normal forms computable in logspace CoRR (2012)
Murray Elder, Mark Kambites, Gretchen Ostheimer
On Groups and Counter Automata. Int. J. Algebra Comput. 18 (8) (2008)
Gillian Z. Elston, Gretchen Ostheimer
On groups whose word problem is solved by a~counter automaton. Theor. Comput. Sci. 320 (2-3) (2004)
Bettina Eick, Gretchen Ostheimer
On the orbit-stabilizer problem for integral matrix actions of polycyclic groups. Math. Comput. 72 (243) (2003)
Gretchen Ostheimer
Practical Algorithms for Polycyclic Matrix Groups. J. Symb. Comput. 28 (3) (1999)
Eddie H. Lo, Gretchen Ostheimer
A Practical Algorithm for Finding Matrix Representations for Polycyclic Groups. J. Symb. Comput. 28 (3) (1999)
Gretchen Ostheimer
Algorithms for polycyclic-by-finite matrix groups. Groups and Computation (1995)