Mechanization of tedious algebra: the Newcomb operators of planetary theory.

J. M. Gerard Michael P. Barnett I. G. Izsak

Published in: Commun. ACM (1965)

Keyphrases

algebraic geometry
theoretical basis
boolean algebra
set theory
machine learning
theoretical framework
error prone
domain theory
data mining
artificial intelligence
evolutionary algorithm
query language
laplace transform