TY  - RPRT
TI  - NZMATH 1.0
AU  - Satoru Tanaka
AU  - Naoki Ogura
AU  - Ken Nakamula
AU  - Tetsushi Matsui
AU  - Shigenori Uchiyama
PY  - 2010
UR  - https://arxiv.org/abs/1005.3153
ID  - 1005.3153
ER  -