Domain-specific languages of mathematics

DSLs of Mathematics is a Quality Funding project granted by Chalmers University in 2014.  The project has led to a new bachelor-level course with the immediate aim of improving the mathematical education of computer scientists and the computer science education of mathematicians. We believe the course can be the starting point for far-reaching changes, leading to a restructuring of the mathematical training especially for engineers, but perhaps also for mathematicians themselves.