Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs.

Siddhartha Gadgil

Published in: J. Autom. Reason. (2020)

Keyphrases

computer programs
human subjects
computer systems
human interaction
theorem prover
real time
search engine
information systems
case study
theorem proving
human users