"KENDRICK: A Domain Specific Language and platform for mathematical ..."

Bui Thi Mai Anh et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics