Homogeneous length functions on Groups: Intertwined computer & human proofs.

Siddhartha Gadgil

Published in: CoRR (2019)

Keyphrases

human subjects
machine learning
basis functions
human users
computer programming
neural network
data mining
maximum number
real time
artificial intelligence
search engine
computer systems
cluster analysis
theorem proving
computer programs
human operators