Do You know any **kind of database** of **presentations of groups**? 


It may be on-line or off-line in form of tables, ideally case would be integrated in some Computer Algebra System. I am interested the most in infinite group presentations, but feel free to put here also information about tables of presentations of finite groups. 


Maybe this thread should be wiki-type because probably there is many good answers to this question, and it is hard to compare for example software system with some kind of book or publication about this matter? I add biglist tag in a hope that it would appear;-)



Database of finite presentations of used groups
[GAP](http://www.gap-system.org) has the following:


* [Finitely Presented Groups](http://www.gap-system.org/Manuals/doc/ref/chap47.html)
* [Presentations and Tietze Transformations](http://www.gap-system.org/Manuals/doc/ref/chap48.html)


An overview of all data libraries in GAP can be found [here](http://www.gap-system.org/Datalib/datalib.html).


The following was a comment, but should be part of the answer:


* There was a lovely book that listed lots of this sort of material 
presentations, Group Tables by A. D. Thomas, G. V. Wood. It may not
answer your question but if you can get your hands on a copy is
an interesting perspective.
It was published in the Shiva Mathematics series.


