Mathematicians take a stand

Douglas N. Arnold Henry Cohn

Published in: CoRR (2012)

Keyphrases

computer scientists
automated theorem provers
machine learning
genetic algorithm
computer science
probability distribution
information retrieval