A New Style of Mathematical Proof.

William M. Farmer

Published in: CoRR (2018)

Keyphrases

mathematical proofs
automated theorem provers
mathematical knowledge
theorem prover
computer algebra
image processing
three dimensional
image sequences
mathematical models
real world
computer vision
e learning
website
multiscale
linear logic
automated theorem proving