|
|
|
|
|
Interactive Theorem ProvingInteractive theorem proving is the field of computer science and mathematical logic concerned with tools to develop formal proofs by man-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.
|
 |
|
| Copyright 2005-2009 OnPedia.com. All Rights Reserved |
|
|