Login / Signup
Proof and the Evolution of Mathematics.
Arthur Jaffe
Published in:
Synth. (1997)
Keyphrases
</>
theorem proving
mathematical knowledge
theorem prover
data sets
mathematical proofs
database systems
computer science
computer assisted instruction
computer algebra
real time
computer vision
cooperative
computer software
proof planning