Constructive matrix theory