Svagt matchande rim för mathematische software