idea about a app in group theory

97 Views Asked by At

I have a idea about a app or software but because I don't know any programming language i don't know if it is doable
idea is simple for every group we can chose some properties for example being finite, abelian, 2-generator and ... then app search in its database and fine related well known theorems or lemmas or maybe some famous example if available.
its seems useful apps because this way we don't have to thinks or search for hours for some theorems or lemmas especially in field we are not completely familiar with.
I think couple of programmer's and colleague student is enough to do it.
do you think this is doable?