A New Style of Mathematical Proof.

William M. Farmer

Published in: ICMS (2018)

Keyphrases

mathematical proofs
mathematical knowledge
automated theorem provers
theorem prover
theorem proving
databases
cognitive processes
mathematical expressions
computer algebra
geometry theorem proving
neural network
genetic algorithm
search engine
expert systems
mathematical models