Proof Techniques for the New Millennium.

Vadim Ponomarenko

Published in: Am. Math. Mon. (2020)

Keyphrases

theorem prover
real time
neural network
linear logic
formal proof
mathematical proofs
databases
information retrieval
image processing
case study