mathpartir