Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cai, Cheng-Hao
Ke, Dengfeng
Xu, Yanyan
and
Su, Kaile
2017.
Symbolic manipulation based on deep neural networks and its application to axiom discovery.
p.
2136.