SAL Home MATH Misc


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 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

Home Site:

Source Code Availability:


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:

Mailing Lists/USENET News Groups:

To join IMPS mailing list, send name and e-mail address to

User Comments:

  • None

See A Screen Shot?

  SAL Home   |   Mathematics   |   Misc

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.