| 
|
Quote: an automatic theorem prover may be worse; no human review and no help with discovering proof errors; should automate calculations, etc.
topics >
all references >
references p-r >
Topic:
theorem proving systems
Topic:
man-machine symbiosis
Quotation Skeleton
It might seem that the more powerful and … [First, need a genuine proof for human review. Second] it is at least as important for the theorem prover … true theorems with aplomb. … Routine manipulations of arithmetic, equalities, disequalities, and inequalities … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: theorem proving systems (20 items)
Topic: man-machine symbiosis (46 items)