TY  - RPRT
TI  - A Domain-Specific Language for Discrete Mathematics
AU  - Rohit Jha
AU  - Alfy Samuel
AU  - Ashmee Pawar
AU  - M. Kiruthika
PY  - 2013
DO  - 10.5120/12036-7257
UR  - https://arxiv.org/abs/1310.3473
ID  - 1310.3473
ER  -