449 citations · 843 across the 5 of their papers we have counts for
1 paper · 1 filter
Cezar Ionescu, Patrik Jansson
We present the approach underlying a course on "Domain-Specific Languages of Mathematics", currently being developed at Chalmers in response to difficulties faced by third-year stu…