J. M. Gerard, Michael P. Barnett, I. G. Izsak. Mechanization of tedious algebra: the Newcomb operators of planetary theory. Communications of the ACM, 8(1):27-32, 1965. [doi]
@article{GerardBI65, title = {Mechanization of tedious algebra: the Newcomb operators of planetary theory}, author = {J. M. Gerard and Michael P. Barnett and I. G. Izsak}, year = {1965}, doi = {10.1145/363707.363710}, url = {http://doi.acm.org/10.1145/363707.363710}, tags = { algebra}, researchr = {https://researchr.org/publication/GerardBI65}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {8}, number = {1}, pages = {27-32}, }