Bringing software engineering tools, mindsets, practices to mathematics research

Samuel Chen