Two-hundred-terabyte maths proof is largest ever.

Published in: Nat. (2016)

Keyphrases

theorem prover
scientific databases
image processing
multiscale
theorem proving
data mining
artificial intelligence
computer vision
information systems
decision making
load balancing