TY - RPRT TI - DeepAlgebra - an outline of a program AU - Przemyslaw Chojecki PY - 2016 UR - https://arxiv.org/abs/1610.01044 ID - 1610.01044 ER -