Periodic Reporting for period 1 - InfGroups (Foundations for computing with infinite linear groups)

This project is in a frontier area at the interface of algebra and computer science. The overall research objective is to build up a new domain of computational group theory: computing with finitely generated linear groups over infinite fields. To achieve that goal, the...