@misc{indiciae8566d3bf7972,
  title = {Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks},
  author = {Cheng-Hao Cai and Dengfeng Ke and Yanyan Xu and Kaile Su},
  year = {2017},
  doi = {10.1016/j.bica.2018.07.004},
  url = {https://arxiv.org/abs/1704.07503},
  note = {Source identifier: 1704.07503}
}