IMPS IMPS is an Interactive Mathematical Proof System intended to provide organizational and computational support for traditional mathematical techniques and styles of practice. The system consists of a library of mathematics (represented as a network of axiomatic theories linked by theory interpretations) and a collection of tools for exploring, applying, extending, and communicating the mathematics in the library. The IMPS system is available without fee via anonymous ftp (under the terms of a public license) at math.harvard.edu. IMPS 2.0, which is written in Common Lisp, runs on Unix platforms with at least 16 or more MB physical memory. It runs under the X Window System and has an Emacs-based interface.

Current Version:   2.0 License Type:   IMPS is available without fee. See ftp://math.harvard.edu/imps/public-license

Home Site: ftp://math.harvard.edu/imps/imps_html/imps.html Source Code Availability: Yes Available Binary Packages: Debian Package: No RedHat RPM Package: No Other Packages: No Targeted Platforms: Sparc SunOS 4.1.3, Solaris 5.5.1, Debian Linux 2.0 Software/Hardware Requirements: IMPS 2.0 runs under various Common Lisps, eg., GCL, Clisp, CMU Common Lisp and Allegro Common Lisp, under Linux, SunOS and Solaris.

Other Links: None Mailing Lists/USENET News Groups: To join IMPS mailing list, send name and e-mail address to imps-request@linus.mitre.org User Comments: None See A Screen Shot?

  SAL Home   |   Mathematics   |   Misc