TY  - RPRT
TI  - Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks
AU  - Cheng-Hao Cai
AU  - Dengfeng Ke
AU  - Yanyan Xu
AU  - Kaile Su
PY  - 2017
DO  - 10.1016/j.bica.2018.07.004
UR  - https://arxiv.org/abs/1704.07503
ID  - 1704.07503
ER  -