Foundations for computing with infinite linear groups

Full project page

Organisations map overview