| 
|
Quote: an interactive proof should produce a publishable proof and a robust, strategy for automating the proof
topics >
all references >
references p-r >
Topic:
theorem proving systems
Topic:
man-machine symbiosis
Quotation Skeleton
The outcome of a successful [interactive] proof attempt … very close to a proof that can accompany … to repeat the proof without human guidance. … Ideally, this second proof description should be robust-- … of lemmas will not derail it. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: theorem proving systems (20 items)
Topic: man-machine symbiosis (46 items)