Database of Existing Mechanized Reasoning Systems
Library Home || Full Table of Contents || Suggest a Link || Library Help
|A 1999 page designed to represent the state of an ongoing effort to collect information about existing automated reasoning systems - automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. The page is split into three parts: available systems, Reasoning Tools Executable via the Web, and others.|
|Resource Types:||Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.